refactor(library/logic/wf): add well_founded class, and cleanup file