Make ManinRelations inherit from UniqueRepresentation (there's no need to have two copies of a given level). Add TestSuite doctest.