let succ a = add a one