FermionSpinSum[x] constructs the Traces out of squared ampliudes.
See also: ComplexConjugate, DiracTrace, Tr.
Notice that SpinorUBar and SpinorU are only input functions. Internally they are converted to Spinor objects.