refactor API of upper and lower bounds for check

[danielhuppmann]

suggested by @marek-iiasa:

in functions like validate(), to avoid ambiguity, consider four keywords for low/upp bounds, e.g. lt [less-than], le [less-or equal], ge, gt (alternatively, for those not familiar with latex: <, <=, >=, > ).