Set up quickcheck properties for lens laws, made QuadTrees Eq.