rename and_c to and_v
fix merging of empty tuples
implement temporary-efficient binary ops