Make constexpr versions of stringification functions

[saxbophone]

If a constexpr data structure has an output iterator, we can serialise Nat objects to strings of digits in any base at compile-time.

The existing non-constexpr stringification functions which output to std::string could then rely upon this new function.