Add sequence numbering to edges

It is important to have sequence numbering on edges; for example, that allows you to understand which arguments of an ImplicationLink are the antecedent and consequent.