Add docs and remove NoMonomorphismRestriction
Add docs to Primitive.Types