Fix block to be non-terminal
Added sections on semantics of language to clarify