Add explicit idempotent/commutative/associative tests