Strong Typing

See StronglyTyped and StronglyTypedWithoutLoopholes.

See also StrongKeyboardTyping.