clang doesn't like arrays with negative dimensions.
ContractedTensor proof of concept.
Formatting.
Use ContractedTensor for the biggest tensor.