pub fn fv_of_nmtm(n: &NameTm, bound: Vec<Term>, out: &mut Vec<Term>)
Compute the free variables of a name term