use ssreflect rewrite for multiset tactics

Fixes #195 (closed)

Unfortunately I don't know how to condense this into a testcase, the issue needs canonical structure shenanigans to occur.