Highlight the "postulate" keyword
Merge pull request #176 from david-christiansen/postulate-highlight

Highlight the "postulate" keyword