I wasn't 100% sure whether scope is needed elsewhere for TypeInfoDeclarations, but probably it could be used.