Rewrite key points of language/compiler section.