Factor out reifyRhs. Some prep for polymorphic local bindings.
some progress with substitution for bound variables
New angle on reification
Getting there. Next: find out how to apply a rewriter to all *top-level* definitions.
reifyEP'
some reordering
Simple.hs* tweaks
Auto.hss
LambdaCCC.Reify (in-progess replacement for ReifyLambda)