Representations are now a lattice bounded below.
Domain#Partition.inDomain
Work on Wreath group representations.