Implement ";" syntactic sugar for Lucretia parser

[Xi Chan]

Implement the following syntactic sugar for Lucretia parser to make it more readable, shorter and more similar to current imperative languages:

a ; b --> let _ = a in b
let v = a ; b --> let v = a in b