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