Type checking extensions should have access to the compile classpath

Currently, type checking extensions are run in a "standalone" mode, meaning they don't have access to classes that are defined in the compile classpath. This limits the ability to work with class nodes.