Small improvements in Types
Small improvements in Types

1) Print RefinedTypes with their hashCode so that we can correlated with RefinedThis types
2) Fast abort of instantiate in case we have determined that it is not safe anyway

dotty-staging/dotty,dotty-staging/dotty,som-snytt/dotty,lampepfl/dotty,sjrd/dotty,lampepfl/dotty,sjrd/dotty,sjrd/dotty,som-snytt/dotty,som-snytt/dotty,lampepfl/dotty,som-snytt/dotty,lampepfl/dotty,dotty-staging/dotty,som-snytt/dotty,sjrd/dotty,dotty-staging/dotty,sjrd/dotty,dotty-staging/dotty,lampepfl/dotty