* RemoveConstants, RemoveTensors, and TermsOf now also work on
non-expanded sums.