Allow open input predicates to be represented by ranges

[Joachim Jansen]

XSB currently translates all open input predicates to a list of facts. Sometimes however, it is possible to represent them as numerical ranges, as is done for types.