I almost completely rewrote section in
new MR, stating that it's simply "syntactic sugar". This even allowed to get rid of the detailed type descriptions for expressions that are already described in other sections.
I hope the compiler actually implements this as a shorthand form, and doesn't have any special cases.