Progress on type variables