Added memoization for Suc() and Pred(), added operator ++