* Review propagate interval shapes and labels
* Review eye template shape inference
* Add partial value and label propagation on inputs
columns and rows
* Include array in eye shape inference
* Fix compilation issues
* Remove local label_t alias from eye tests