Removed typeStripped-let from compileProgTop.