Systematically renamed `Nat' to `Int' and `nat' to `int' (fix #49)
Merge pull request #51 from plmday/master

Rename Nat to Int.

The built-in type Nat always supported negative values,
so the clarify things, it is better to call it Int.