fix(hott:group): use only reducible definitions in instances
fix(hott:group): use only reducible definitions in instances

fpvandoorn/lean2,fpvandoorn/lean2,fpvandoorn/lean2,fpvandoorn/lean2,fpvandoorn/lean2