fix type error in intLang3.lem

(not sure if this fix is right)