Also do a partial pass on
Core.Lint, as it is a dependency.
The call sites in
Driver.Main are duplicative, but this is good,
because the next step is to remove
Also further clean up
Core.Lint to use a better configuration record
than the one we initially added.