phylum Platyhelminthes Synonyms