Uncurry functions for exists1
Update tests
'over' tests
Update the tests