structure TypeCheck =
  TypeCheck ((*! structure IntSyn' = IntSyn !*)
	     structure Conv = Conv
	     structure Whnf = Whnf
	     structure Names = Names
	     structure Print = Print);

structure Strict =
  Strict ((*! structure IntSyn' = IntSyn !*)
	  structure Whnf = Whnf
	  structure Paths' = Paths);