Add `filter` and `ifSome(then:)` to Optional

I'd give it an not-particularly-passionate yes. The ergonomics are nice; the need is not dire.

I'm not wild about the name filter for the first. I see the parallels between optionals and sequences, but it's a limited parallel. The name is just as likely to miss type errors as it is to provide useful understanding.

See previous discussion of why Optional doesn't conform to Sequence or Collection, and the downsides of reusing names between the two:

[Edit: wow, those intra-forum links are HUGE.]