Function trans 

pub fn trans(src: &Val, names: &Val) -> Result<Val, Val>

Lower source against names, the variables already in scope, outermost first — the same order Exp::Var indexes.