new inference: do not incorporate during B1 phase; TypeCompatibilityConstraint reduces to true for raw substitution and erase in this case method return type
new inference: propagate calculated substitutor to use in B3 reduction process