minor typos in the doc of applyOrElse
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
Merge pull request #3584 from martijnhoekstra/patch-1

minor typos in the doc of applyOrElse