made explanation of is_less_equal.hpp clearer