Multi-arg data constructor #392
Description
In the current implementation, V t1 t2 is equivalent to V (t1, t2), even in the surface language. Shown by misc/pass_differing-num-con-args-1.cogent and misc/pass_differing-num-con-args.cogent. We may want to change this behaviour.