Session.State
Built-in state values. TODO. Call Tpf to the rescue.
val int : int state
val string : string state
val pair : 'a state -> 'b state -> ('a * 'b) state