kick Term.simplify, as well as isLiteralIdentity and isEquivToIdentity