lex and ignore comments
move newlines to end again
Adds inference tool:
- only shows when #lang grace
- infers simple types of vars and defs