Same as Surface.Lexer_common.token_list_language_agnostic, but with tokens whose string varies with the input language.

Simple lexer for builtins

Main lexing function used in a code block

Main lexing function used outside code blocks

Entry point of the lexer, distributes to lex_code or lex_law depending of the current Surface.Lexer_common.context.