Added support for pairs of separation algebras with unique units.