Add semantic highlighting for postulates

Fixes #1286.