Spec 'on' more elaborately

Add "index" feature, let implementation of "zip" and "merge" follow from the
examples.