feat: 在 `where` 子句中对文本进行数值比较

**您的功能请求是否与问题有关?请描述。** 既然我们已经有了实体字面量(#1682),那么就很方便地为字面数字添加一些内置谓词,例如 `<`,`<=`,`==`,`>` 和 `>=`。此外,还需要支持数值计算。这样,我们就可以对字面量进行推理,例如,