clean up in util/rel.v

analysis/facts/model/rbf.v

model/task/arrival/curves.v

model/task/arrival/request_bound_functions.v

util/rel.v

util/superadditivity.v