Lens view/set/transform derivatives should be consistent

[jackfirth]

Vanilla view and set obey the lens laws, and transform is immediately derivable from them. For variations of these forms, e.g. view*, set*, transform*, view-all, set-all, and any others we come up with, the view and set forms should obey some reasonable variation of the lens laws and the transform form should be derivable from them.