Changes to type system and some fixes in progress on metatheory
Changes to inferencer and prove soundness
Moved changes of type system into lem file
Added changes to signatures in type system/inferencer
Merge remote-tracking branch 'origin/master' into type_sys
Merge remote-tracking branch 'origin/type_sys'

Changes the handling of exn and tabbrevs