fix relation.hpp include in shift_right + doc