strings.parser: using type declarations.
lexer: more type checking.
unicode.collation: minor doc fix.
lexer/parser: rename (scan-token) to ?scan-token, (scan-datum) to ?scan-datum.