Implements parallel reduction. Defines equality based on a canonical renaming of the reduced forms