Implement graph package

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