Updates SLURP to add quantifier support.