Interface ITypeVariableDefinition