Added "and" syntax for NormalizingEquivalence.
Added explicitly DSL after being ... and ... tests for normalization and equivalence other type/conversion checked traits.