Finish first version of the linter

We lint the result of the type checker, just as a sanity-check