Permit linting of entire packages.

This gives the typechecker free reign in the open source world.

Fixes #43.