Adds succ and sum functions.