Remove Buildins module - merged definitions into ParseUtils and TypeCheck modules
Remove file Buildins.hs
Merge from "master"
Debugger and HopesIO into separate files
Tc monad converted to monad transformer
Merge branch 'master' into debugger
DebugT contains parametrized state and DebugState is now in Debugger
Debugger commands
Merge branch 'debugger' into negation
Added special constructors for list to help pretty printing
Added abstract debug commands
Merge with debugger
Negation prover changes