The abstraction layers between the symbolic nodes and the CAS IR need to be thought out carefully. The symbolic chain offers differentiation, while the IR is just a spec that makes code generation and pattern matching easy before the device layer.