refactor(library/logic/wf): minimize dependencies
feat(library/logic): import wf.lean in logic/default.lean

We will use well-founded recursion in the definitional package