major cleanups to definition of wye, though it still requires casts
Process(1,2,3,4) syntax