introduced token type