Minor edits to the semantics section 3.1.

-- Highlight in red statements that need to be changed.
-- Fix choice of numbers in the examples.
Merge branch 'master' of github.com:nfeltman/RenderGen