Started trying to get the compiler working.

Finding places where names changed to ids (for module references) and
add Short to them, and removing annotations that are no longer in the
AST.  The sed script that post-processes the Lem generated HOL fails on
my machine.