Default parameter TypingContext.empy in TypingContextOwner.getType
Singleton types replaced by underlying type in introduce field and variable