A pure static subset of Lint

[TotalVerb]

#71 and #149 show that the current static-dynamic hybrid nature of Lint is troublesome. In fact, Lint does not work on Currencies at all presently, because it tries to import the relative modules, which it can't resolve properly. While I'm sure these can all be fixed, I think it is a good idea to consider a purely-static version of Lint, possibly used as a fallback if the dynamic version doesn't work.

Obviously such a version could not catch as many problems (at least at first), but even so, some linting is better than no linting.

[davidanthoff]

I would actually prefer a version of Lint that is purely static. We are using Lint in the VS Code plugin, and something that didn't actually load any user code would be much preferable from that point of view.

CC @ZacLN