Added laws and doctests for particular prisms to the haddocks