Small resolving changes in TypRef