Add examples about basic arithmetics (see #21).
Systematically renamed `Nat' to `Int' and `nat' to `int' respectively