RFC: Split the `||` unboxed closure form into two forms and remove the capture clauses and self type specifiers

@huonw I think this was a mistake in the RFC writeup. The intent was to allow escaping closures to *infer* the closure type.

In particular, although `proc` always moves in its upvars, it may still only *use* them by-ref, and hence can be a `Fn`.