tweak inlining criteria; standardizeR'
export Standardizable
test tweaks
Yet another shot at type encoding
missing some tv substitution.
solve type equalities and substitute
fix primitives; castCastR
CoerceEncode
standardizeAlt: don't sub expr; simpler castTo
castTransitiveUnivR
#ifdef out VecCat & TreeCat