Merging MyLambdaKripke and MyLambdaKripke2.

No pairs yet.
norm