Z3 Haskell bindings and extensions