Type Alias Identity 

pub type Identity = (Syn, Syn);

One identity the kernels check: lhs = rhs over the integers.