Yield and efa shared the same namespace, this commits splits them and introduces tuple tree containers as well.
The control-flow graph and all its hierarchy components have been moved from `model` to `efa`. The CFG is now serialized onto the LLVM IR module as a metadata.