Making the list terminator incorporate the label instead of just the separator.

@bmmoore please review.
I just made a mechanical transformation, but I assume is needed to declare all the list terminators as KLabels to make maude parse it. Traian wrote this code, so if you are interested in knowing more, you should ask him.