Added error message for bad applies, fixed hash function
Added module for a data type representing proof scripts
Added a module for a data type representing proof scripts
Added a function to the ProofErrors monad class representing a bad apply.