lexer rule bug fix
starting work on the typechecker