Making the list terminator incorporate the label instead of just the separator.
Merge pull request #904 from kframework/listTerminator

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