Type Definition Block
Other items innaga
type Block = Vec<Statement>;
A code block is just a vector of statements.