Loopy a hard dependency?

Is there a specific reason why Loopy should be a hard dependency[^1]? My understanding was `transform_loopy_program` will get kicked in only when the implementation demands.

Thanks!

[^1]: https://github.com/inducer/arraycontext/blob/main/setup.py#L46

Inspect setup.py at the dependency declaration around line 46 and trace where transform_loopy_program is used. Determine whether Loopy is required during normal installation or only for that implementation path; the issue is done when the dependency behavior matches the documented intent and the relevant installation or usage checks pass.

Written by the indexing model from the issue text.