finished IL2 translation of all non-lambda terms