more explicit type Isabelle_Thread.T;
total operation Isabelle_Thread.self: upgrade raw ML threads implicitly;