[unbox] [WIP] Fix extraction of integer types from variants

[btwj]

There was an issue with ordinary subsumption for extracting integer fields, when they differed from the signedness of the representative scalar in the variant norm (due to the addition of type checks).

TODO: Add more tests