Add Option.flatten.