Fix Namer issues found by the instructors, add tests
Fix Typer issues found by the instructors, add tests
Check for out-of-range Integer literals
Simplify check for assignment to lvalues