Consider using backpack

[noughtmare]

I feel like many of the interfaces in this package would benefit from being specified as backpack signatures. Backpack signatures are easily extendable, so you could define the labeled graphs as extensions of normal graphs. I think it would simplify the types and functions.