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