Function libunseemly::alpha::freshen_binders_with

pub fn freshen_binders_with(
    lhs: &Ast, 
    rhs: &Ast
) -> Option<(Ast, Ren, Ast, Ren)>

Like freshen_binders, but to unite two Asts with identical structure (else returns None).