change of exception list handling

"Exception" is quite an overloaded term, thus exception lists were
renamed to skip lists; even 'skip dicts', since their type changed, too.