Edges with the same head and the same
sameheadvalue are aimed at the same point on the head
type: string, default:
This has no effect on loops.
Each node can have at most 5 unique samehead values.
Last modified June 12, 2022: add simple descriptions for attributes (b2a18ac)