Hola Francisco, van las observaciones de los puntos que mandaste.
Punto 2
Las posiciones de frente, final y contador son 0, 1 y 2 por lo tanto ninguna de esas posiciones está disponible para guardar elementos por lo que no es correcto inicializar los valores en cero, salvo el contador
void iniciar_cola(tcola &x){
x[0]=3; //frente
x[1]=3; //final
x[2]=0; //contador
}
esto hace que cambie el siguiente teniendo en cuenta cuáles son realmente las posiciones que ocuparía el contenedor

Punto 3: válido
Punto 4: deberías tener 2 versiones, una con los dos contenedores y los indicadores de frente y final y luego la otra versión de sólo los 2 contenedores.
Punto 5:
ítem a: similar al punto 2 las posiciones que están ocupadas por indicadores no deberían considerarse para contener datos, por lo tanto la inicialización es incorrecta así como el siguiente, ya que MAX-1 no es una posición para guardar datos porque cumple la función de final en este caso.
ítem b: válido
ítem c: los indicadores están en un arreglo separado a los que funcionan como contenedor por lo tanto el siguiente no es correcto ya que no debería saltarse posiciones, deben usarse todas las posiciones de los dos contenedores datos1 y datos2. Cola llena sería x.indice[2]==MAX*2 directamente ya que podrá guardar 10 elementos
ítem d: válido
saludos