remove succ, pred functions

(Easier to just use +1 and -1.)
Merge pull request #266 from BayesianLogic/builtins-cleanup

remove succ, pred functions