prop_comm_add :: Nimber -> Nimber -> Bool
prop_comm_add a b = a + b == b + a

prop_comm_mult :: Nimber -> Nimber -> Bool
prop_comm_mult a b = a * b == b * a