structure Index =
  Index (structure Global = Global
	 structure Queue = Queue
	 (*! structure IntSyn' = IntSyn !*));

structure IndexSkolem =
  IndexSkolem (structure Global = Global
	       structure Queue = Queue
	       (*! structure IntSyn' = IntSyn !*));