Pulling new changes in Z3_Haskell