sepcomp: use the new `POSetGroupColorer` to color properties