ReferenceLanguage ReferenceType CheckingType CheckingHow does type checking work? Do users need to know or care?