Stricter grammar rules for statement-expressions.

Expressions "with", "if", "match", "loop", "for" only allow statement bodies in short form when themselves used as statements (e.g. "let x = if y -> 5" is valid, but "if y -> 5" standing as a statement is not; "if y -> print("hello")" however is valid).