Optimise closure code (but not GC allocations)
Stiffen up type equality matching in glue