Add LaxComma to categories.v

I had forgotten to export it when I originally ported it.