What Is Consistency In Typing