⁷We realize that terminology here can be a bit confusing, because in Maude sort is also a keyword for types.