Mejoras de expresividad y declaratividad
Movido el algoritmo de cumplimiento de mision al barco