First pass at lowering stuff to an untyped CFG. Very raw.

Should this be "fallthrough" or "jump"? I'd imagine you want to be able to have unconditional backwards edges, especially post-optimization, so I'd be inclined to make this a general "jump" or "branch"