`define` and `token` categories

[andreasabel]

This hasn't been tested with #266:

CNil.     Chars ::=                 ;
cSg.      Chars ::= Char            ;
CSnoc.    Chars ::= Chars Dot Char  ;

define    cSg c = CSnoc CNil (Dot ".") c;

token     Dot '.'                   ;

Affects:

• [x] Haskell/Functor: fixed by 9db83acc0c30c4bc6fb7173990001505b758121a
• [x] Agda, because of --text-token: fixed by 2fc8d84885c460da374ba9c9f5f73e58b5fd8179
• [x] C