Combine closure construction with the almost inevitably next 'mul'
to turn it into a single allocation, single operation.
Also find some more constant-weight shortcuts in closure construction.