SI-8369 resetAttrs now correctly accounts for skolems

resetAttrs (née resetLocalAttrs) has been oblivious to existence of skolems.
Not anymore, which prevents us from reverting to the untyper nightmare.