meta model should also include a programmatic description of the LSP state machine

[karthiknadig]

This is covering the various transitions expected from LSP when performing initial handshake and shutdown.
Something like this (microsoft/vscode#4902 (comment)) captured in the model.

[dbaeumer]

We can add this however it will IMO not change the generation of the LSP types.