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.
Merge pull request #3610 from xeno-by/ticket/8369

SI-8369 resetAttrs now correctly accounts for skolems