More comments in FlightDSL
Write the section Implementation Overview