Macro impl_concrete_finite

macro_rules! impl_concrete_finite {
    ($t:ty) => { ... };
}

Implements helper traits for a concrete (i.e. non-parameteric) type that implements Finite.