添加了一个约束类型 INT 以及修复几个 bug 支持了 OR: AND: