pub fn name_eq(args: Vec<RtVal>) -> ExpTerm