Prevent primiitives from taking on temporary types

For example, you don't want a Tuple of Int(3)'s to
be part of your interface because then you can't
change your code at all (the compiler optimized out
all of the accesses in other people's code).
Added benchmark