structure Subordinate = 
  Subordinate (structure Global = Global
	       structure IntSyn' = IntSyn
	       structure Whnf = Whnf)