Improvements on the semantics#212

pchampin wants to merge 9 commits intomasterw3c/N3:masterfrom

pa-semantics-paperw3c/N3:pa-semantics-paperCopy head branch name to clipboard