The semantics of `Polar` are not clear to me.  Is it supposed to represent spherical coordinate angles?  In that case might `Spherical` be a better name?  Though I guess "spherical coordinates" usually refers to two angles paired with a distance rather than just the bare angles.  Or is it supposed to be more general somehow?