Implement statements as expressions

[andres-arana]

All the statements must be usable in expression position, by using a transformation function similar to the function.