> I'm not sure what you mean by this. I think there are enough variantes in > Exp.t and Transfer.t that don't require a Var.t vector. OK. It just costs some space and time, e.g. an extra dispatch when doing a foreachVar. I am in agreement that we should leave it as is.