reorganisation pass over intLang proofs