TypeInstanceResolution functionality implemented