Question: What does it mean for a language to be statically typed?