[ feature ] zipWith, View, Eq, splitAt, and, or

* Adding equality up to bisimilarity. This forces us to implement
  useful auxiliary functions.