start updating intLangExtraScript.sml

will at least need Cevaluate_syneq from here (not yet reproved).
probably will need stuff about shifting and annotations too.