binder/unbinder refactoring
add cardinality mechanism for bind decorator