(** eager composition of substitutions, and eager application. *)

structure Typecheck = 
struct 

  structure EE = TypecheckEE
(*   structure EL = TypecheckEL *)
(*   structure LE = TypecheckLE *)
(*   structure LL = TypecheckLL *)

end