First pass of definition of programming language

Also this sentence probably belongs in a separate paragraph, as doesn't fit well with the other introductory sentences.