A rudimentary whole-program compiler from strings to IL3.

Type inference doesn't work, because the magic that made unification
work is not included.