RFC: Collections reform

This is a combined *conventions* and *library stabilization* RFC. The goal is to establish a set of naming and signature conventions for `std::collections`.

The major components of the RFC include:

* Removing most of the traits in `collections`.

* A general proposal for solving the "equiv" problem, as well as improving `MaybeOwned`.

* Patterns for overloading on by-need values and predicates.

* Initial, forwards-compatible steps toward `Iterable`.

* A coherent set of API conventions across the full variety of collections.

*A big thank-you to @Gankro, who helped collect API information and worked through an initial pass of some of the proposals here.*

[Rendered](https://github.com/aturon/rfcs/blob/collections-conventions/active/0000-collections-conventions.md)
Isn't about HRL allowing one to write an equivalent for `fn foo(f: <'a>|&'a int|) -> ...` with unboxed closures? Something along the lines of `fn foo<F: <'a>Fn(&'a int)>(f: F)`.

It certainly seem very similar. (I think I'm missing some subtlety about what you mean by types and values here.)