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