vim syntax for alloy analyzer