Slight progress on the compilation to intLang1