Wall: remove extra imports
explicit instances for HasPhi, HasR, HasTheta to avoid overlap
make HasR _r lens be the vector magnitude

This definition works in all vector spaces, and is probably more often
useful.  The cylindrical r is easy to refer to as cylindrical._1; it
just happens that it was the case that motivated me to write these lenses.