datalog: BinaryOp.Print: add BinaryIntersection and BinaryUnion

[jvatic]

I noticed a few BinaryOps missing string representations for debug printing, so added them here.