We need to support typed symbolic expressions in `PiUnit` to handle potential use cases (symbolic circuit simplification).
We need to support typed symbolic expressions in
PiUnitto handle potential use cases (symbolic circuit simplification).