Add LaxComma to categories.v

I had forgotten to export it when I originally ported it.
Merge pull request #639 from JasonGross/fix-lax-cat-deps

Add LaxComma to categories.v