Show beta-redexes as "let" expressions when ShowFolded
Comments
examples
Fix Lambda module comment
Handle 'let' expressions. Generalize/simplify local name testing.
Support for Eq and IsTy on V, Pat, E. Preparing for more optimization.
Support for Eq and IsTy on V, Pat, E. Preparing for more optimization.
var#, varPat#, lamv# for simpler reification.
Equality support and more CCC optimizations:
  apply . (curry (g . snd) &&& f) == g . f
  f . r &&& g . r == (f &&& g) . r
improved decompR and its use
simpler tyEq2 from ty-0.1.4
export fewer actual (dumb) (:->) constructors