- The arguments (basis_keys, category, ...) are straightened before
  being passed down to UniqueRepresentation.
- The existence base_ring.one() is not checked anymore
  (Rings are supposed to be unital!)