Incorporated [g o f] notation into EquivalenceVarieties.