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