For example, a programmer has to write small tables (<64K) of bytes for zip or chess program. In future (or depend of efficiency tests) table elems can change to short or int, or index can change from ushort to int.
Is well not to special defined alises like IndexType and ElemType.
But is problem, if types is not strict and badly in some places is used other alias.
In C++ is possible strict aliasing ?