New spoofax libs based on Spoofax r25853