A predicate that checks whether a given point is within a distance of another point.
Check whether the given point is within a distance of another point. NOTE: this operates directly on the encoded representation of points.