zip(Cons(a,x),Cons(b,y)) = Cons(Pair(idB(a),idB(b)),zip(x,y))
zip(Cons(a,x),Nil)       = Nil
zip(Nil,y)               = Nil

idB(True)  = True 
idB(False) = False
