The noun typestate can be countable or uncountable.
The singular form of typestate is also typestate.