Completed adding the contracts to manage TypeInstanceResolution functionality