Function libunseemly::beta::freshening_from_beta

pub fn freshening_from_beta(
    b: &Beta, 
    parts: &EnvMBE<Ast>, 
    memo: &mut HashMap<(Name, Name), Name>
) -> Assoc<Name, Ast>