prove iff version of VSUBST_WELLTYPED