Consider lifting basic_impls! definitions into a trait

[matprec]

This allows abstracing over the shared functionality. Currently, one can be abstract over the vector lane size and the kind of arithmetics it shall support, but it cannot be loaded or stored without knowing the specific type, because its implemented on the type itself. All methods defined by basic_impls! can share their definition using the Simd trait (Almost, new doesn't count).