add1
add1 : (number -> number)
purpose: to compute a number one larger than a given number