More work on type variables