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).