definition of the Grace programming language in Spoofax