Created initial skeleton of the type checker
Added necessary exports
Added type check module
Fixed error with the type parameters
More work on the type checker
Added monad class defining the proof axioms