[zygo] Add format for equivalence arrow
Prove that zygo is not more expressive than para.
[zygo] noDups example