STM: VtQuery holds the id of the state it refers to
STM: encapsulate Pp.message in Feedback.feedback
STM: use a real priority queue
STM: generate Feedback message for parsing errors
STM: when looking up in the cache catch Expired exc