Add while exists and while not exists functionality, and update ReadMe