Package common provides utilities to be used in multiple linter subpackages.

Package traversal provides relatively lightweight checks which can all fit within one traversal of the AST.

Package types provides type inference functionality.

Package variables allows collecting the information about how variables are used.