isDigit utils
sexpr literals in any radix
lexing symbols correctly
smtlib symbols are caps
parse qualified symbols