Unwrapping and value binding patterns in the condition of ternary expressions

I just wrote about something similar - my suggested syntax is less robust but more ergonomic: