combine the Sink classes

Sink is a helper class for shifting terms from one (array) environment to another based on some witness. Instead of using `Extend` directly as said witness, do so via a function on indices. Combines `Sink` and `Sink1` classes, `sink` and `sink1` become ordinary functions.