Bubble casts outwards. We float casts up and outwards so they are just inside the inner-most enclosing let. This way the functions still have the same effect and closure, but the casts don't get in the way of subsequent transforms.