I'm really surprised the naming types for the Arm8 (64 bit) low cost boards didn't call them 'Tau' rather than 'Pi', and 'Orange Tau' or 'Dragon Tau' sounds reasonably identifiable to me and it would quickly become the defacto way of distinguishing between 64 bit machines and 32 bit machines.
