Interface ITypeVariableDefinitionExpression