Now has value types in AST.
lexer compiles.