Optional Problem

Worked on this. The add function and the successor function are broken.
Everything else tests out right.