Prime y pro es lo mismo, en algunos sitios lo llaman pro y en otros prime, pero es el mismo telefono, tambien es normal que te aparezca solo redmi 4, tranquilo que es normal.
Todavia no hay miui 9 oficial, si hay de desarrollo en eu, esperemos que no tarden en sacar la miui 9