Type Alias Val 

pub type Val<D> = <D as PolynomialSpace>::Val;