changed resolve to map names rather than idents
starting to add sexp encoder