Removed type parameter m in Context and Zipper.

m isn't needed as of this moment, so it's been removed. With it, go
Iterator (which is now an honest Zipper) and the m parameter in Zipper,
which now just takes the type of the elements in the tree it points to.