Lexically scoped type variables