²This sublanguage is essentially an extension of the OBJ3 equational language [60], which has greatly influenced the design of Maude.