Add: code block evaluation in a new frame with @@{block}, @@(value){block} and DVM_EVAL;
Fix: a few minor bugs.
Add: explanatory comments in the demos;
Fix: a minor bug in parsing closures for accessing outer local constants;
Fix: a minor bug in handling code block @@{} for type inference.