bug: polars/16_lazy_execution.py complains that `pivot` method doesn't exist

- on branch gvwilson/overhaul-for-relaunch (#135)
- `marimo edit` and run-all results in `AttributeError` "'LazyFrame' object has no attribute 'pivot'"