типы имеют смысл только в статике. вы можете называть ваши придуманные типы которые работают внутри рантайма типами и чекать их по ходу интерпретации но это в бесконечно много раз хуже чем знать все до рантайма
Но прав скорее @egoarka, потому что есть общепринятые термины, и среди них "динамическая типизация"
нету такого термина кстати. я специально искал. если ты попробуешь чтото найти там будет крайне расплывчатая попытка описать что "это такой набор практик"