Function resolve 

pub fn resolve(expr: &mut Expr) -> Result<(), ParseError>

Resolve a program against an empty scope; free names are rejected as ParseError::UnboundName. Rewrites expr in place (names → de Bruijn locals).