Update and fix many of the Int and Integer blackboxes, and correctly
implement tagToEnum# and dataToTag#