RelExps are of type :int