Use nativeint to represent pointers

Fixes #174.