Reference

This is the reference guide.

TODO: Write a better introduction to the reference guide. TODO: Fill this section by copying from the Java source code.