AST type beginnings
More parsing types
Slap on some OCaml
Add error handling, refactor lexer indent system
Sorta working parser. Time to tinker
Precedence rules
Fix some problems with the lexer (EOF UNDENT popping)
Merge branch 'typesystem' into dev