Fixes creation of Z3 event type from Haskell type