get compiler tests working

fixed bug in translation of Handle to intLang (was using CLet instead of
CHandle).

updated initial compiler state: includes initial bindings for bind, div,
and eq exceptions. also, the initial label is 0 (rather than 4) since
PrintE now doesn't use any labels.

added support for compiling (and printing) the Dexn declaration.

updated compiler tests: they were using the old syntax for Handle, and
some were designed for un-handleable errors and int_errors.

have not touched the proofs - they will be broken.