Да, именно к "динамическому полиморфизму". Точнее, к мультиметодам лиспа и виртуальным функциям. Это и есть "формат" сообщений в контексте понятия "подход".
"Библиотеки и оверлеи", реализующие в процедурных языках ООП - это что-то вроде гейского изврата на подобие Angular js? нафиг нафиг. Если ЯП не поддерживает протоколов/интерфейсов/Duck typing, то разумно было бы вообще забыть об ООП.
"перегрузка функций по сигнатурам" - это не ООП, и это грабли