structure StyleCheck =
  StyleCheck (structure Whnf = Whnf
	      structure Index = Index
	      structure Origins = Origins);