Remove machinery for recognizing nats.
Remove machinery for recognizing nats.

It doesn't work and it's a hack anyways. Should reimplement int31
feature properly using retroknowledge and such.

maximedenes/native-coq,maximedenes/native-coq,maximedenes/native-coq