Tensor Internal Interface

The literal operation syntax, tactics, verified semantics, lowering laws, and native runtime support behind ordinary TorchLean.Tensor programs. The literal tensor-pattern term forms are scoped syntax; write open TorchLean.Tensor to use them.