Disallow loops for edges, relax type restrictions on reverse