Handle \const; \type; \token and \norm; flags