checkpointing Identifier binder
adding ns binders