Took a first pass on the two intro paragraphs on language+compiler