Improved the semantics of the programming chapter.
refined semantics
Updated toolchain
Merge pull request #26 from radiodoc/programming

Updated semantics