Implied bounds on higher-ranked binders

[nikomatsakis]

We wish to support where-clauses and especially implied bounds on binders. This is required to overcome various GAT limitations but also to close soundness holes and other changes. Solving this properly requires coinduction.

Requires #116

cc rust-lang/rust#44491, which is related and would make use of the same requirements