The scanner for the polymorphic parser is simple and only needs to recognize
numbers, identifiers and some simple characters, returned as character
tokens. Here is the scanner's complete specification file, as used by
ti(flexc++):
        verbinclude(-a poly2/scanner/lexer)
