pub fn dup(excl: &mut Vec<ID>, n: &mut N, ctx: &mut Ctx) -> N
Create a new FuncDef by replacing known variables (excluding shadowed)