Make check_arities allow list tensors like <v,0> (but still not <u,v>).
Loosen some asserts to make diff(expr, coefficient) work (almost implemented a few weeks ago).