isDigit utils
sexpr literals in any radix
lexing symbols correctly
smtlib symbols are caps
parse qualified symbols
correct parsing of qualified symbols
parse set-info
parsing push and pop
todo
minimal smtlib printer