snc: add new exit transition syntax

Goes like "when (<cond>) {<actions>} exit and has same effect as
(and is implemented by) calling built-in pvExit.