[RFC] Automatic optional chaining

This basically allows to skip all the nested switch|None cases and focus on the switch|Some cases, in other words, converts the binary tree of switch|option cases into a simpler linear sequence