Almost finished type checking

Done conditional expressions, read and write statements
Also modified conditional expressions structures elevating conditional
expression lists from the child of the previous conditional expression
list to the brother of it. (And renamed `ELSIF_EXPR_LIST` to
`ELSIF_EXPR`.)