Token names more conforming to cool-parse.h