structure IntSyn =
  IntSyn (structure Global = Global);

structure Whnf =
  Whnf (structure IntSyn' = IntSyn);

structure Conv =
  Conv (structure IntSyn' = IntSyn
	structure Whnf = Whnf);

structure Constraints =
  Constraints (structure IntSyn' = IntSyn
	       structure Conv = Conv);

structure UnifyNoTrail =
  Unify (structure IntSyn' = IntSyn
	 structure Whnf = Whnf
	 structure Trail = NoTrail);

structure UnifyTrail =
  Unify (structure IntSyn' = IntSyn
	 structure Whnf = Whnf
	 structure Trail = Trail);

structure Abstract =
  Abstract (structure IntSyn' = IntSyn
	    structure Whnf = Whnf
	    structure Constraints = Constraints
	    structure Unify = UnifyNoTrail);

structure Approx =
  Approx (structure IntSyn' = IntSyn
          structure Whnf = Whnf);
(*
structure AbstractTabled =
  AbstractTabled (structure IntSyn' = IntSyn
		  structure Whnf = Whnf
(*		  structure Subordinate = Subordinate*)
		  structure Conv = Conv
		  structure Unify = UnifyNoTrail
(*		  structure Print = Print*));
*)