Added support for separation algebras with unique units.