HoTT/HoTT — pull request #420 by JasonGross (2014-07-24 20:55:40+00:00)
Title: Define lax comma categories

They are unfortunately rather slow.

```
After | File Name | Before || Change
-----------------------------------------------------------------------------------------------------
3m50.32s | Total | 3m17.31s || +0m33.01s
-----------------------------------------------------------------------------------------------------
0m22.30s | categories/LaxComma/CoreLaws | N/A || +0m22.30s
0m03.92s | categories/LaxComma/CoreParts | N/A || +0m03.92s
0m02.59s | categories/LaxComma/Core | N/A || +0m02.58s
```