Fixed bug reported by Sun, where Contract[x,y_Times] fails for
Contract[x,y_Times, __Rule].
Added additional unit tests for FourDivergence.
Improved typesetting of ExplicitLorentzIndex.
Ensured that Contract will not contract same covariant indices.
More unit tests for Contract.