work on Toy more accurately 'up to homotopy', Start work on op
arguments and hints for pregroupoids
Merge branch 'master' of http://github.com/jwiegley/category-theory