Add reflexivity and transivitity to T-Multisetoid; thx @darinmorrison