removed some more occurences of "var", refactored duplicate code from DTChecker/ModuleContextImpl, reduced std/lib-literals, fixed some other code smells