Add -language:existentials compiler flag

Prevents warnings in SBT console.
Connected components is only defined for undirected graphs

Restrict the edge type that may apply this function.