Change that "cat_width" to "alt_width"

Apparently right-shift has another magic value in it: the width is
actually a mask and has nothing to do with the input widths.  There's
now two special cases... :) (though RSH doesn't have any width
inference magic right now, it might need to later).