Updates to CLS: Variance, local type inference