Parse existentials in annotations#11

coord-e merged 3 commits intomaincoord-e/thrust:mainfrom

existential-in-annotcoord-e/thrust:existential-in-annotCopy head branch name to clipboard