Add hopefully complete spoofax libraries