state transition table
modify state transition table
rename SessionTable to more accurate SessionTableRef
(Session | NoSession) is isomorphic to Maybe Session