make Array handle Java primitive wrapper types efficiently and 
according to a well-defined canonicalization, eliminating unsoundness