Minor changes to Linkage comment.
Fix some minor things in "Runtime Semantics: Link Errors". Still needs a lot of attention.