Fix my Bike Again: Demonstration of Navigator in Daml

Introduction