Make ContractSelf more general.
Make ContractedTensor more general.
Add SelfContractedTensor.
SelfContractedTensor doesn't really need Inc().