Refine the description to include the fact that num_CONV doesn't work on
argument ``0``.

Implement some useful code to transfrom SUC-based definitions into ones
that can be used with numerals easily (no conditional rewrites necessary).