Fix internaliser binding-insertion for loops and let-withs.
Fix oversight in expNames.