migrate syntax def to Spoofax 1.3