More comments on Zipper
Try matching on context, not on term

The current code matches on an integer to recover the position. This
kind of code is harder to get right.