structure Subordinate = 
  Subordinate (structure Global = Global
	       structure IntSyn' = IntSyn
	       structure Whnf = Whnf
	       structure Names = Names
	       structure Table = IntRedBlackTree);