Add some comments on type variables