Changed the bind operator so as to not leave the environment in an inconsistent state in the event of a failed pattern-match