documented token and lexer headers