Fix definededness test in merge_boxes
Bounds inference now also tracks bounds on the *value* of each function.

Only applies to pure functions. Useful for warping and other indirection.
Allow unbounded boxes in box touched of letstmt
Handle vectorized trace ids