Initial work on JOIN/COGROUP equivalence in chapter 6/joins.