Add explanation of unbooking and demo
Add first part of human readable visualization
Update demo to use visualization
Add final code listing for Booking DSL