the start of the facts for Lambda2.
These functors do not work!

- I can not make an environment extension because the
  denotation function must be fully known before the functor
  is instantiated.