The typer is (apparently) working, and is now even returning a type-d…

…ecorated

AST. This is the main feature of this release, plus a few bugfixes.

The parser+typer passes all the tests plus some others, and might be …

…considered working. It does not annotate the AST with types decently yet.