docs update, support lt, lte, gt, gte in the repl