Refine the type of a number during use.
Check for uses of the same register in a label tag.