started a homotopy-type theory-ish Toy approach.
Merge branch 'master' of http://github.com/jwiegley/category-theory