Some more improvements of let-binding in internaliser.