fixed some type stuff
typealiased
fragment type
adding extra positive edges
made insertAll to be used in the connected-constraint version
logic error