Macro impl_datatype

macro_rules! impl_datatype {
    ($this:ty) => { ... };
    ($this:ty where $generic:ident : $sat:ident) => { ... };
}

Implements the required traits for creating a datatype.