Restaurant// insert https://github.com/reactific/riddl-examples/blob/main/src/riddl/ReactiveBBQ/restaurant/domain.riddl