reorganisation pass over semanticsExtraScript.sml
strengthen compile_decs_append_out with info about ct/m.cnmap relationship