[ refactor ] Typeclassified substExpr.