The construction in the lemma can be done on a torus,
because
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.