Add "deriving Show, Eq, Ord" where needed in tests
Add tests until a bug is found

The bug is a stupid thinko in bag difference. Fix coming.
Fix bug