ignore this...
one more step toward S1 = Suspension Bool
merge fixed S1SuspensionS0
unfinished homotopy/S1SuspensionS0