add labeling support and make the binding block optional for some rules based on just label, iterator, import or export