pass along labels to $nextiter
refactor Label to not keep an NQPMatch