Allow generating 'Nat' (see #31).

The old code never produced C 0 == nat.
Avoid generating unusual constants (see #31).