Allows implicit narrowing of integers, but not implicit widening.

Some instructions zero out or sign extend the upper bits when working
with less than 64-bit values, but not all do.  There is no guarantee
that the upper bits aren't junk, so implicit widening is disallowed.
Makes add set the tag for its destination.