Type-Aware Linting

Linting with type information.