reintroduce notation for homotopy in isweqhomot (uu0a), fix resulting er...

...ror in algebra1a