Implement graph package

[fariedabuzaid]

Implement a package in the same spririt as the arithmetic package but for graphs
Operations:

• synchronous, asynchronous, parallel product
• disjoint union
• complement

Graphs:

• infinite line
• infinite clique
• Some Caley graphs