simplify the construction of the half line

removing many lines of code, made possible by the
homotopy version of nat_rect.