I agree, I think it's strange to make the instruction encoding influence whether or not a part is to be considered 32-bit. Instead I think the programmer's mod

I agree, I think it's strange to make the instruction encoding influence whether or not a part is to be considered 32-bit. Instead I think the programmer's model is what determines that (which would make these ARM cores firmly 32-bit like you say).