Where should one check the identifier's type ? In Node._set_identifier(), Node.bpointer.setter(), Node.fpointer.setter(), Node._set_identifier(), Node.update_bpointer(), Node.update_fpointer() ? Or is it something I can strip away for the moment ?