Added laws and doctests for particular prisms to the haddocks
Added laws and doctests for particular prisms to the haddocks

timjb/lens,Fuuzetsu/lens,cchalmers/lens,hvr/lens,hvr/lens,danidiaz/lens,ddssff/lens,rpglover64/lens,Icelandjack/lens,cdepillabout/lens,omefire/lens,Gabriel439/lens