Primitive Laws Docs

[chessai]

Currently there are nine (9) laws that we test for Prim. None of them are documented, users just get a vague Test that a 'Prim' instance obeys the several laws. I feel as though we should either

1. wait for the primitive package to write the laws in their docs, but still explain what primLaws tests, or
2. pre-emptively name the laws and write the docs in the same way that they are for all other classes

[andrewthad]

We should go ahead and document what we are testing. There's no need to wait on primitive.

[chessai]

agreed, the 2nd option is mostly about naming