introduces Type.Compound.hasExplicitRefinement