Add semantic highlighting for postulates

Fixes #1286.
Merge pull request #1288 from david-christiansen/issue/1286

Add semantic highlighting for postulates
foldl1 implementation