More tests
Added some real code as tests
Fixed lexer for corner cases
A bunch of tiny fixes (nested fun ->, constraints...)