Std proposal: Option::fold()

Previous discussion: