fix(library/logic/wf): typo
feat(library/logic/default): add wf_k
feat(library/data/nat): add more basic theorems for definitional package
refactor(library/data/nat/div): use well-founded library for defining div, mod and gcd