Fixed a bug in the parser.
Finished type checker.
Added documentation.