Move aliases for Liskov and Leibniz into scalaz._
Add missing value aliases
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?