1) Added the completion type and the <completion> cell.
2) Added some statement semantics.
- Block, Empty, Expression, The return