Introduced Binding data type in CompilingPatternMatching.
Added stub code for supporting pattern-local bindings in CPM.hs