Ensure we can constrain the output of Vchan.Make to V1_LWT.FLOW

Previously we missed a couple of types because of an overzealous use of destructive substitution when we included the signature.