Syntax highlighting for Alloy