Systematically renamed `Nat' to `Int' and `nat' to `int' (fix #49)