add existential type
add first exist rule
tests
add constrains based on existential type
correct neg tests
another problem is state
move or or rlh
mapFReft
update after syms
Merge pull request #33 from ucsd-progsys/exists2

Exists2