Type-Checked_Linting