Created monad class for type errors
Created monad class for collecting proof obligations
Removed logging code
Added new monad classes
Added type checker monad class
Added type checker monad class
Restructuring to correspond to type checker's needs
Minor cosmetic changes