I have to learn to extend the natural numbers "Nat" datatype already defined by me to integers, by the introduction of user defined signs and hence Define addition
