Renamed boro_mk_left() and boro_mk_right() to _set_.