Added module containing datatype for proof errors
Added instance for Message class
Added new modules
Removed -Werror from type checker (for now), so it will compile.  Will restore it when type checker is complete.
Renamed Control.Monad.ProofCheck.Class to Control.Monad.Proof.Class
Renamed Control.Monad.ProofCheck.Class to Control.Monad.Proof.Class
Temporary fix to allow tests to run in a reasonable amount of time.
Added monad class for proof error messages.