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