sig control.

type announce    o -> o.
type if          o -> o -> o -> o.
type once        o -> o.
type spy         o -> o.
type spyf        o -> o.
type value	 A -> o.
type printout	 string -> A -> o.
