Parse in module

Don't review yet.
oh hmm okay I think I understand. You are creating a new syntax for terminals, which is why you are keeping the existing Token syntax. Still, you need to add a warning that appears on definitions that use Token{} telling them that it is deprecated and may be removed in a later version of K. Similar to what we did with List{K}.