Added forall quantification pretty-printer.