Worked out the basics of CPS convert.
Modified Simple to contain every type of the body of Catch.
Beginning to construct the monad for CPS conversion.