Parsing and printing SMT-LIB from Haskell.