New commits in Z3 Haskell bindings