formal.tex: simplify the natural number rules

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