Introduce a NormalDomain newtype to ensure comparisons are made safely.