removed
letSubstOneOccR ; tweak cast rewrites
lamCastVarR, isPrim, etaReduceUnitR