Added cases to the semantics for exception declarations

And got most of metatheory building with no cheats.  Only the
alternative big step semantics is broken, everything else works.