re-visit SMT solver interfaces

we do use https://hackage.haskell.org/package/smtlib2 but this seems abandoned (I did fix some obvious things, but the library feels very heavy)

perhaps https://hackage.haskell.org/package/simple-smt is better? It looks lighter, and it has recent commits.