Extend the typer to typecheck many more things

`case Block(statements)` (for regularity's sake)?