What is a dynamically typed language?