work on updating intLangExtraTheory for clocked intlang
finish updating intLangExtraTheory for clocked intLang