Extend the typer to typecheck many more things