Generate let-normalised programs from internaliser.