added Nat of Haskell datataype for FFI.