Add inProgress spec
Send cycle back to client
Define properties more simply
WIP
Display info bar and insert mode