Type Alias Substitution 

pub type Substitution = *mut SubstitutionRec;