Introduce new class `taintflag` (or use better name)

The following node members of the Node

    _tainted: bool = True
    _frozen: bool = False
    _frozen_tainted: bool = False
    _invalid: bool = False

and relevant methods should be incorporated into a distinct class.