Structs
A simple structure to manage identities of objects.
Enums
Traits
Type system for enforcing the lock order on shared HUB structures.
If type A implements
Access<B>, that means we are allowed to proceed
with locking resource B after we lock A.