remove 'do' from 'for' statement for do-end block
parse do-end block

now parsed blocks are simply ignored in semantics check and code generation
add a function to check if the type is unit