Class TypeVariableDefinition