Definition of the PCF language in Spoofax