make homotopy groups abstract, finishing updating homotopy group proofs to use groups