Use nativeint, not int32/int64, to represent pointers.
Merge pull request #176 from yallop/nativeint-pointers

Use nativeint to represent pointers