fix(library/hott/fibrant): set arguments for type class resolution
feat(library/algebra/group): add multiplicative and additive structures