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

It can probably be inferred, but the complexity means that this would be a very complex source of bugs for users refactoring code - I think it's similar to why function types are not inferred.