strict curry in RepEncode (Vec (S n),...) for tighter code
lamNormalizeVarR
unfoldNonstandardR
RepEncode: swap wrap/unwrap arguments
castIntoLamR: mkSymCo
decodeSimpleCastR
better decodeSimpleCastR; encodeSimpleCastR
encodeUnfold; saveDefT/findDefT
encodeDumpSimplifyR
"encodeDistribApp" --> "encodeApp"
isVarTrivArgsT (now with isCoercionE)
don't stash dictionaries; add isCoercionE & isDictE to trivialExpr.
fix inEncode; encodeCaseR
repeatR in encodePass