sepcomp: use the new `POSetGroupColorer` to color types for tests