working on updating resolve to use Names as keys rather than idents
comment
remove FIXME #2888, now bug is fixed