Simple syntax highlighting in Sublime Text 3 for MIT's Alloy relational language.