Make try? + optional chain flattening work together

[anandabits (Matthew Johnson)]

@jawbroken

These are all situations where multiple layers of Optional s could be collapsed, but aren't.

These are all situations where the language facilitates removing exactly one layer of optionality. That is what is being proposed in this thread.