Added missing documentation for types.
Fully qualify operator overloads.
No incremental linking in release.
Merge pull request #129 from lowjoel/add-missing-documentation

Added missing documentation for types.
Modified to point to Controller instead of NLP.
Implemented non-working visitor pattern.
Largely finished implementation of visitor pattern.