Function apply_substitution 

pub fn apply_substitution(ty: &Type, subst: &Substitution) -> Type

Apply a substitution to a type, replacing Var(id) with mapped types.