Add doc comments for the most important types. #105

[epost]

I wanted to start documenting stuff. Type stack haddock aql to build the docs. I started collecting some references to documentation as well; see the AQL codebase document mentioned in the issue (#105).