Definition of the WHILE language in Spoofax