Generalize `sub` into `higher_ranked`
Move LUB computation into `higher_ranked`
Move GLB computation into `higher_ranked`
WIP -- squash everything down
WIP -- enable higher-ranked treatment of trait-refs