tidied Auto.hss
Auto.hss: tidied; unshadow (useful?)
Reworked typeEtaLong without simplifyE, which did more than I wanted.
Simplify typeEtaLong.
monoLetToRedex, reifyPolyLet
typeBetaReduceR
tidy
Trim exports