Consider restricting the import of normal TVar modules via hlint

Although the modules are available, we probably want to always use the checked tvars instead of the normal ones, or at least if we use the normal ones it is a conscious choice.

So we could use hlint to warn if the normal modules are imported anywhere else than in the NormalForm module.