feat(data/option/basic): add `bind_some'` (#16641)
feat(data/option/basic): add `bind_some'` (#16641)

We already have `some_bind` `bind_some` `some_bind'`, but there is no `bind_some'`.







leanprover-community/mathlib,leanprover-community/mathlib