Simplification (WIP)

It seems for some reason we don't need to help Scalac to avoid ambiguity
- maybe overload resolution can prioritize from_<:< and isa because of
their argument lists?