Is `global` really needed? Can't we clump it together with `keyword`? We should be reluctant to add new token types unless absolutely required...