Pasting here the draft from the Athens Hindawi/Thin Slices meet, for reference. We didn't have the time to finish it, but all core ideas are there.