Add meaningful simplifyAssumptions, recursive term replacer inference rules.
Rename Expr.replace to Expr.replaceAt.  Improve isolate/extract condition rules.