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