Clarify Edge cardinality type families
Added example GraphOfTheGods