Updated Rule # from R432 to R427
Initial version.
Added equivalence-set-list transformation to EquivalenceSet.
Simplified EquivalenceStmt (and friends).