SimpleMain: drive for Simple.hss
tryR in reifyModGuts, with comment
NOINLINE reifyE
Added let-floating to make: foo_reified = ... ; foo = eval foo_reified.
Maybe misguided, as GHC appears to do something very similar.
#define SplitEval to control whether we split after reifying
reifyLam now rejects type lambdas; inTyLams for reifyRhs
use guardMsg
reifyRhs now floats past type lambdas
Use reifyEP in rules for now. (Later, eliminate the EP stuff.)
Remove tryRulesBU.
reifyRhs: typeEtaLong; filter out IO, EP, eval