Support a shorthand syntax for match-expressions and other block-based syntax

[samvv]

We'd like to do something like (pseudo-syntax):

let x = match y. True => 1; False => 0

let i = 0; i += 1; print i

After a first look it appears that LineFoldEnd and ; might be made interchangeable, with some tweaks here and there.