Make Haskell extraction use native types