Added more labels to declarations and lexical sections; removed discussion of memory from 4.1.2; beefed up scope section 4.2 and modified example a bit