Add handy mk_sum2, mk_sub2, mk_mul2

And fix behavior of mk_sum, mk_sub, mk_mul for zero-length array