Add nothrow modifier to `filter`
Define flatten for range of `Option`s