fixed a bug in mkNuMatching that was using the wrong constructor names; added Functor and Applicative instances for Mb ctx; get LambdaLifting/Terms.hs to compile, and started on LambdaLifting.hs