I point to the whole Halicarnassus in Haukke HM/Sigmascape deal (plus, the Titan/Acheron/Phlegethon deal) that sometimes enemy names can get retconned (Oh, some of the Sons mistranslated this one character from the Anciant Allagan) or given some vague lore-like justification (Halicarnassus the Succubus was named after the queen in an old Ilsabardian fairytale). That said, given that Valefor has actually been name-dropped TWICE (LotA and Doman Adventurer's Guild storyline), I don't think we'd be seeing her anytime soon.

Frankly, since my favorite Summons are already in-game (Knights of the Round and Alexander), I'd like to see Anima for reasons mentioned above