Added exists(), lower_bound(), and upper_bound(), and test cases for the same.