updated outline with changes to Spoofax