RFC #7: How to distinguish variable values from unwrapped variable declarations in when pattern matching

[ProCode-Software]

Example:

val := "foo"
when value {
    // Is val declared as a variable set to the first field in MyStruct, or this checks whether the first field's value is "foo"?
    MyStruct(val) -> { ... }
    // Is val a type, or "foo"?
    val -> { ... }
}

Current approach: val as a direct case (2nd) will compare to a variable, and unwrapping val in MyStruct (1st) is a variable.