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