. . . "Type checking is a feature for assuring that appropriate operations are performed on compatible data items." .