The construction in the lemma can be done on a torus,
because _{1}(torus) ≠ 0.

Maybe you could make something similar to homotopy groups by defining the
equivalence relation on loops by maps of something other than a disc into
the space. A torus would just annihilate π_{1}.
Maybe other spaces.