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
Reorganized the explorer code, added new enable/disable functionality
Merge remote-tracking branch 'origin/type_sys'

Changes the handling of exn and tabbrevs
Merge remote-tracking branch 'origin/master' into fmap_refactor

Conflicts:
	inference/inferScript.sml
	inference/proofs/inferPropsScript.sml
	inference/proofs/inferSoundScript.sml
	metatheory/typeSoundScript.sml
	metatheory/typeSysPropsScript.sml
	semantics/typeSystem.lem
	semantics/typeSystemScript.sml
Fix
Repair metatheory