FIX to Compact Rich-Functional Binary Relation Representations

Level: Small

In the algorithm for rel_sel_lab_maj (sec 4, end of page 6), the final account in the last line must be done with r', not with r-r'.

In page 7 line 11 rel_rnk should be rel_num.