feat(library/data/nat/wf): add nat.lt is well founded theorem