More tests
Added some real code as tests
Fixed lexer for corner cases
A bunch of tiny fixes (nested fun ->, constraints...)
Completed the unit tests, all features of the ocaml grammar should be covered