Function replace_ty 

pub fn replace_ty() -> Expr

Replace : Term → Position → Term → Term — replace subterm at position