construction of monoids - except for verifying the unit law, which will require nullary operator remapping