pulling some common code out of RTac/Core

- Relation properties for RexprT
looking into the performance of substitutions.