Use promoteR instead of promoteExprR, promoteBindR in externals.
reifyTupCase; remove reifyCaseSum
Remove unused imports.
comment out unused definitions
Trim imports; import utilities from type-encode
encode-types
'case' examples
0.2: use type-encode
reifyEither
-- type arg order a c b for eitherE & eitherEP to match either.
moved comment
HasEncode
HasEncode