Added "all" quantifier support to the Interpreter.