Addition of functionality to copy URI resolvers from a source to a target evaluator, plus an initial addition of functionality needed to check the type checker