reifyModGuts
drop reifyE#, reifyEP# (with messages)
reifyApp now uses splitFunTy_maybe for robustness; hasTC; unlessTC; inlineEval
signature variations for toCCC and toCCC' (commented)
kure version dependency
Now fully automatic script. To make a GHC plugin.
Example tweaks