getting through the meat of Lambda.

- next thing to look at is something like LemmaApply
  that should be where things get drastically different
a little bit of progress on lift.