Maude list terminators from label also

Change also the Maude name of a list terminator to be based off the label of the separator (or the label attribute of the production) instead of the concrete syntax, extending pull request #904.