Combining AndType, OrType into common Trait.
Combining AndType, OrType into common Trait.

Still need to explore where we can use this (one usage will be in TypeComparers).

sjrd/dotty,dotty-staging/dotty,DarkDimius/dotty,angi2/dotty,auvik/dotty,som-snytt/dotty,VladimirNik/dotty,densh/dotty,AlexSikia/dotty,sjrd/dotty,spetz911/dotty,folone/dotty,spetz911/dotty,lampepfl/dotty,dotty-staging/dotty,reactormonk/dotty,sjrd/dotty,folone/dotty,som-snytt/dotty,lampepfl/dotty,yusuke2255/dotty,auvik/dotty,som-snytt/dotty,dotty-staging/dotty,dotty-staging/dotty,angi2/dotty,svalaskevicius/dotty,vsalvis/dotty,svalaskevicius/dotty,sjrd/dotty,densh/dotty,vsalvis/dotty,sjrd/dotty,lampepfl/dotty,VladimirNik/dotty,lampepfl/dotty,lampepfl/dotty,reactormonk/dotty,yusuke2255/dotty,som-snytt/dotty,som-snytt/dotty,dotty-staging/dotty,AlexSikia/dotty