Type-Aware Linting
Linting with type information.