Val does not need to be a monad! Thanks to it, eval* implementation a bit simplified
blocks example program slightly modified
small refactoring in type control
content about dynamic typing
content about semantic functions (partial)