Making command a valid monoid and adding a property test for it