Additional material

Parts of cml-sig.sml
(* threads *)
type thread_id
val spawn : (unit -> unit) -> thread_id

(* channels *)
type 'a chan