Symbolic Shape Inference

From the sound of it, there seems to be overlap with the Structured Kernel meta part, right?