Widgets

Umbrella import for TorchLean's optional Infoview / widget tooling.

This module imports the widget implementation modules directly.

The import is for editor and inspection workflows:

• ordinary runtime/proof files should import the concrete library modules they need;
• example and inspection files can import this one module to get all widget commands;
• adding a widget here does not make it part of TorchLean's trusted semantics.

NN.Widgets.Interop.PyTorchTranslator is included here because it is exactly that kind of editor-side assistant. It helps navigate PyTorch-to-TorchLean workflows; checked import still goes through the explicit artifact bridges and verifier/proof layers.