Який принцип об'єктно-орієнтованої парадигми проектування ПЗ дозволяє перевизначати поведінку базового типу, що підтримує операції у додатку, шляхом реалізації нових типів, які взаємозамінні для існуючого об'єкта?