Access the lower bound relation of a tau interval
It is the case that
(tau-interval-lo-rel (make-tau-interval dom lo-rel lo hi-rel hi)) = lo-rel
For a well-formed interval, lo-rel is a Boolean, where t denotes
the < (strong inequality or ``less-than'') relation and nil
denotes <= (weak inequality or ``less-than-or-equal'') relation
between the lower bound and the elements of the interval.
When the domain of an interval is INTEGERP, there are additional
constraints on the other components. See make-tau-interval.