* add typing function for command
* add remark about unsoundness of typed syntax (with GADT): it is currently possible to write programs where affectation et let instructions are ill-typed
* typing errors have to be improved