Document the Concept+Impl specializations+Functions pattern

This is used by `Try` and `FromIterator` now, and it allows applying the concept to types outside of your own control. This lets us apply concepts to std library types, and it would let users apply concepts to other types in other libraries too.

We should provide a nice markdown document about how this pattern should look and work, and how to implement such a concept for a type.