Что такое строго типизированный язык программирования?