Bold reserved words so they are more visible.
Fix some syntax highlighting (fixes #81)

- Bold reserved words
- Distinguish between constructors/types and terms for reserved words
- Fix highlighting of type synonyms
- Add main as a special case for highlighting.