replace preds args with existentials
splitC ex see pargs1
hide exists from user
update tests
rename existential type
Merge pull request #32 from ucsd-progsys/exists

Exists: A-Normalize funky predicate arguments into IMPLICIT args represented in the types as RAllE.