I said that this implicit use of 10 or some other number shouldn't be allowed. So log, ln, lg (i.e base 2) shouldn't be allowed, but log_b(x) where b and x are states is OK, just as 10^x, e^x, and 2^x require you to explicitly expose the base (and for this puzzle, disallow 10 and e since neither is a 2).
Successor is essentially s(n) = n + 1, so that shouldn't be allowed either.
FWIW, "successor" is not really n + 1: you've got that the other way around.
Successor simply "is" (it's a relation that satisfies a number of conditions), and summation is defined in terms of successor function.
My point is that you can really define everything in terms of these primitive definitions, which means that there won't be any single use of a non-2 digit for any function, or you'll be going with a set of arbitrary allowances.
But the whole point should be: what are those arbitrary constraints that make the game fun? And once you clear that bar, it's ok to open up the next one (this does not make them non-arbitrary though).
Basically, I am saying your take at those arbitrary decisions is not a very fun one ;-)
Successor is essentially s(n) = n + 1, so that shouldn't be allowed either.