RPython does see them as distinct, incompatible types. The lists used now are immutable, nevertheless.