corrected static scope: multi-argument composition does not apply partially

--- a/src/Tools/Code/code_runtime.ML	Fri Jan 20 21:05:11 2017 +0100
+++ b/src/Tools/Code/code_runtime.ML	Sat Jan 21 20:59:47 2017 +0100
@@ -148,9 +148,9 @@
       computation';
   in fn ctxt' => computation ctxt' o reject_vars ctxt' end;
 
-fun static_value_strict cookie = Exn.release ooo static_value_exn cookie;
+fun static_value_strict cookie x = Exn.release oo static_value_exn cookie x;
 
-fun static_value cookie = partiality_as_none ooo static_value_exn cookie;
+fun static_value cookie x = partiality_as_none oo static_value_exn cookie x;
 
 
 (* evaluation for truth or nothing *)
@@ -319,9 +319,9 @@
     computation ctxt' o reject_vars ctxt' o Syntax.check_term ctxt' o Type.constraint T
   end;
 
-fun fully_static_value_strict cookie = Exn.release ooo fully_static_value_exn cookie;
+fun fully_static_value_strict cookie x = Exn.release oo fully_static_value_exn cookie x;
 
-fun fully_static_value cookie = partiality_as_none ooo fully_static_value_exn cookie;
+fun fully_static_value cookie x = partiality_as_none oo fully_static_value_exn cookie x;
 
 
 (** code antiquotation **)