Don't think of it as optional semi-colons, think of the { } block syntax as containing zero or more alway-semi-colon-terminated statements, as well as zero or o

Don't think of it as optional semi-colons, think of the { } block syntax as containing zero or more alway-semi-colon-terminated statements, as well as zero or one bare not-a-statement never-a-semicolon expression giving a value to the whole block. <:D