Make ArgumentEdges also typed