Implemented all/any and havingExist
Fixes #17
Fixes #11