Added mono to the language and typechecker.