Little Languages

What is type safety?