refactor(library/logic/wf): add well_founded class, and cleanup file
fix(library/hott/fibrant): set arguments for type class resolution
feat(library/algebra/group): add multiplicative and additive structures