Email-запись: Higher-Order Pattern Anti-Unification in Linear Time