pub type Momentum4<N> = MomentumN<N, U4>;
Momentum in $4$-dimensional Lorentzian space $\R^{-,+} = \R^{1,3}$.
struct Momentum4<N> { /* private fields */ }