+ (* Actions to take before and after evaluating a file *)
+ val registerPre : (unit -> unit) -> unit
+ val pre : unit -> unit
+ val registerPost : (unit -> unit) -> unit
+ val post : unit -> unit
+
+ (* ...and before type-checking *)
+ val registerPreTycheck : (unit -> unit) -> unit
+ val preTycheck : unit -> unit
+