Group is 
  ../lambda/sources.cm
  ../global/sources.cm
  ../timing/sources.cm
  ../subordinate/sources.cm
  ../meta/sources.cm
  ../solvers/sources.cm
  worldsyn.sig
  worldsyn.fun
  worldprint.sig
  worldprint.fun
  worldcheck.sml