Tensor Pattern Language

Parsing, diagnostics, normalization, and static checking for TorchLean's einops-compatible literal patterns. This facade is independent of elaborator and native-kernel implementation details.