Assert that edges are of correct type