Multiset Properties seemingly done.

Now to implement testers.