Localstate (or state of local variables, which are used in Ursus functions in contract)

It would be useful to read Quick Start before. In Quick Start we mentioned command UseLocal, which input is Definition of list of types. So LocalState is special container of term with these types.

We can operate with LocalState only via using command UseLocal.