updated todo.
moved Program Show instance to GenOCL.
removed unused fields in Env.
Cleaned up.
Cleaned up.
Added Procedure.hs for the Proc data-type.
Added monoid instance for Proc.