feat(library/logic): add well-founded recursion

It also removes the old well-founded induction theorem based on
classical principles
feat(library/logic): add well-founded recursion