Protocols

NOTE FOR ORGANISERS:

There are 3 example Vessels shown in the demo and are present in codebase under in bike_lend/src/bike_gps/Bike.mo, book_swap/backend/Books.mo & book_swap/backend/BookPass.mo