Added a toEquivalence method to Normalization, so there will be a
non-Explicitly-DSL way to go from a Normalization to an Equivalence.