More adequate name.
Import let correctly
Nicer error message if a typing rule cannot be verified
Concrete Fomega syntax for desugarings