Improvements to multiplicative subterm matching: seems to work successfully. Found an example that fails for interesting (non-bug-related) reasons: see test9(). Updated readme.