[ivette] state names

ivette/api/kernel/ast/index.ts

ivette/api/kernel/properties/index.ts

ivette/api/server_tsc.ml

src/plugins/server/package.ml

src/plugins/server/package.mli

src/plugins/server/states.ml

src/plugins/server/states.mli