Add Semantics
Rewrite TypeChecking.Monad.Scope
Bug fixes