Changing comet to use semigroups, not monoids.