Relax path-dep types subtyping so that it's monotonic:

- Remove requirement that bounds are good: S<:U.
- This means that subtyping transitivity is now limited.
All preservation tests pass.

Resolve path-dependent types with concrete paths that reduce to
locations, to canonical selection on a location.