Без заголовка

Ну, я много раз так пробовал, и мне это очень нравится до сих пор. И оговорки были, согласен. Но отношение конкретизации (между типами) будет путаться с отношением реализации (класса и экземпляра). "Конкретный предмет", все-таки, это экземпляр, а не "конкретизированный тип", поэтому я использовал "реальный предмет", чтобы не путаться. Или у вас есть предложение, как эту путаницу обойти?