define intLang4 syntax and semantics