Certainly a univarient model in the type system could be useful, but it would be extra powerful (and more correct) if it could handle covariance.
Otherwise, it feels to me that it'd be consistently wrong to model the variables as independent. And any program of notable size is gonna be far too big to consider correlations between all the variables.
As for how one might do the learning, I don't know yet!
I’m unfamiliar with the PEP process. How long until this makes it into a Python version?