Type Alias PackedVal 

pub type PackedVal<SC> = <Val<SC> as Field>::Packing;