Added ExistentialQuantification

Again some files more are parsed correctly.