pack: Ensure matrix elements are valid
Ensure Arbitrary matrices are half-full of valid elements
Generalize signature of pack
Export empty, diag, and ident
Additive tests and fixes