Rewrite.ml: removing direction flag from hypinfo.