fixed a bug where sums() inside of foralls() were not getting parsed properly.