Removed redundant/outdated information from spec

Removed redundant stuff and old information that has since been changed, as well as added some new information to the language specification. Also fixed syntax highlighting (?)