Tetra is either named after the number 4 or the fish species called Tetra. I find the second one more likley.
Navi is obviously a play on the word navigation, which is excactly what she is doing all the time.
Tatl and Tael names form the word tattletale, which is again a hint to their function in the game.

__________________

Join!