formal.tex: simplify the natural number rules, part 2

instead of mentioning a universe level, just assume we have a well-formed context