Comment out FreeGroup and Omega1(Flower).
More tests for Space/Sphere.agda.
Typesetting fixup.
A positive inequality type for Fin n.
commit (broken)