This answer does not make any assumptions about whether I have seen all council members before, or what the council members know about whom I've seen.
I'm not sure whether this can be improved upon under those conditions.
First question: Alice, if I asked you what Bob would say if I asked him what he would say if I asked him what you would say if I asked you what you would say when I asked you whether you are a wizard, what would you say?
Possibility 1: No answer to question 1 (-).
This means that either Alice or Bob is the warlock and neither is the priest. Explanation: If Alice remains silent, she is certainly not a priest, because priests always answer. Also there are only two possibilities why Alice would not answer: Either Bob is the warlock, and thus she does not know what he would answer, or Bob would not answer. In the latter case, Bob is no priest, and the only reason why he would not answer is that he doesn't know what Alice would answer because Alice is the warlock.
So in summary, we now know either Alice or Bob is the warlock, and either Claire or Dave is the priest.
Case (-), second question: Claire, if I asked you what Alice would answer if I asked her at day whether Bob is a warlock, what would you say?
Possibility 1.1: Again no answer (--).
Now we know Alice is the warlock. Also we know that Dave is the priest.
Case (--), third question: Bob, if I asked a council member, who is Alice if you are a witch, and who is you if you are a wizard, what got the priest prays to, what would be the answer I get?
Possibility 1.1.1: Again no answer (---).
Bob is a witch, as only in that case he's be compelled to say what Alice would say, which he can't as she is a warlock.
Case (---), fourth question: Bob, if I asked a council member, who is Alice if you are a light witch, and who is you if you are a dark witch, which god the priest prays to, What would you answer?
Possibility 1.1.1.1: Again no answer (----).
We now know that Bob is a light witch.
To summarize, up to here, we know that Alice is a warlock, Bob is a light witch, Claire is a wizard, and Dave is a priest. We don't know yet the subtypes of Claire and Dave, and since there are four possibilities, we need two questions to find out.
Case (----), fifth question: Bob, which god does the priest pray to?
Case (----), sixth question: Bob, is the wizard on the path of fire?
Since Bob is a light witch, and the fifth question is asked on a day, we will get a truthful answer. Also, the sixth question is asked at night, so the answer will be wrong; of course the correct answer is easily derived from that knowledge.
Possibility 1.1.1.2: Fourth question answered with Yes or No.
Bob is a dark witch. And since in that case the question takes on the special form "What would you say if I asked you …", the answer is truthful. So we now know the god Dave prays to. We also now know that Claire must be a wizard. The only missing bit is Claire's subtype. But we can use the next question to ask that from Bob directly. We know how to interpret his answer, as we know his type
Possibility 1.1.2: Third question answered with Yes or No.
Bob is a wizard, and Claire is a witch. Again, the question takes the special form "If I asked you …" and therefore the answer is truthful, so we know the god of the priest. We can use the fourth and fifth question to determine the subtypes of Bob and Claire by asking Bob (using the "If I asked you …" form to uncover Bob's subtype).
Possibility 1.2: Second question answered with Yes (-Y).
We now know that Bob is the warlock. Furthermore we know that either Claire is a Yes priest, or both Claire and Alice are saying the truth at night (one is a fire wizard, the other dark witch), or both are lying at night (one is a water wizard, the other a light witch).
Case (-Y), third question: Alice, if I asked a council member who is Bob if Claire is a priest, and who is you otherwise, what he would say if I asked him whether you are a wizard, what would he answer?
Possibility 1.2.1: third question not answered (-Y-).
Since Bob is the warlock, we now know Claire is a Yes priest. We don't yet know which of Alice and Dave is the wizard, and what are the subtypes of the witch and the wizard.
Case (-Y-), fourth question: Alice, if I asked a council member who is Bob if you are a wizard, and who is you otherwise, what he would say if I asked him whether the with is a light with, what would be the answer?
Possibility 1.2.1.1: Fourth question not answered (-Y--)
Alice is a wizard, and Dave is a witch. We don't know the subtypes, but using the "What would you say if …" form, we can query both in the fifth and sixth question to either Alice or Dave.
Possibility 1.2.1.2: Fourth question answered Yes or No.
Alice is a light which (Yes) or a dark with (No). We still need to find out the subtype of Dave, which we can do with a direct fifth question to Alice.
Possibility 1.2.2: Third question answered Yes (-YY).
Alice is a wizard, and Claire is a with. Moreover the subtypes of Alice and Claire are linked as described above. So what remains is to figure out the subtypes of Alice and Dave (the latter being the priest), which can be done by directly asking Alice (using the "What would you say" form, of course) in the fourth and fifth question.
Possibility 1.2.3; Third question answered No (-YN).
Alice is the witch and Claire is th wizard. Otherwise it's just like the case before; again we need two further questions to Alice to determine the subtypes of Alice and Dave (again, Claire's subtype is linked to Alice's as described above).
Possibility 1.3: Second question answered No (-N).
We again know that Bob is the warlock. Furthermore we know that either Claire is a No priest, or exactly one of Claire and Alice is saying the truth at night (one is a fire wizard, the other light witch, or one is a water wizard, the other a dark witch).
The subcases here are completely analogue to the subcases for (-Y), with three to four more questions asked for a total of five to six questions.
Possibility 2: First question answered Yes or No (Y or N).
Now we know that neither Alice nor Bob is the warlock. We moreover can already exclude some further possibilities about Alice and Bob, however I'll defer that analysis for later.
Case (Y or N), second question: Alice, if I would ask you what Claire would answer if I asked her at daytime what she would say if I asked her whether Dave is the warlock?
Possibility 2.1: You get no answer (Y- or N-).
Now we know that Claire is the warlock.
Case (Y- or N-), third question: Alice, if I asked a member of the Council, which is Claire if you are a Priest, and you otherwise, whether Bob is a priest, what answer would I get?
Possibility 2.1.1: You again get no answer (Y-- or N--).
Now we know that Alice is the priest, and from the answer to the first question, we know her subtype. We still don't know whether Bob is the wizard or the witch, and which subtypes the wizard and the witch are.
Case (Y-- or N--), fourth question: Bob, if I asked a member of the council, who is Claire if you are a witch, and who is you otherwise, whether the wizard is on the path of fire, which answer would I get?
Possibility 2.1.1.1: You get no answer (Y--- or N---).
You now know that Bob is a witch. You still need to figure out the subtypes of Bob and of Dave, the wizard. This you can do with two more simple "What would you say if I ask you" questions to Bob, for a total of 6 questions.
Possibility 2.1.1.2: You get either Yes or No.
You know that Bob is a wizard, and his subtype. You still have to figure out whether Dave is a light or a dark witch, which you can get from a direct fifth question to Bob.
Possibility 2.1.2: On the third question you get Yes (Y-Y or N-Y).
You now know that Bob is the priest. Furthermore, from the first answer, you know which god Bob prays to. The last two to three questions are then exactly as in possibility 2.1.1, except of course the roles of Alice and Bob are exchanged.
Possibility 2.1.3: On the third question you get No (Y-N or N-N).
You now know that Dave is the priest (but not of which god). Moreover, from the first question, you know whether Alice is the wizard (Y-N) or the witch (N-N), so all types of the council members are now known. What remains to find out is the subtypes of each.
Case (Y-N or N-N), fourth question: Alice, if I asked a member of the council which is Clair if the priest prays to Yes, and you otherwise, whether the wizard in on the way of fire, what would be the answer I get?
Possibility 2.1.3.1: You get no answer (Y-N- or N-N-).
You now know that Dave prays to Yes. You still need to figure out the subtype of the witch and the wizard, which you can get through "What you you say if I ask you" questions to Alice.
Possibility 2.1.3.2: You get a "Yes" or "No".
You no know that Dave prays to No, also you know the subtype of the wizard. You only need to find out the subtype of the witch, which you can get through a direct question to the wizard.
Possibility 2.2: The answer to the second question is the other one than the first (YN or NY). You know that Alice is not the priest (otherwise she would have given the same answer twice). Also you know that Dave is the warlock (as you've excluded it for Alice, Bob and Claire). Again, I'll leave further analysis for later questions.
Case (YN or NY), third question: Alice, if I'd ask a person that is Dave if Bob is a priest, and which is you otherwise, whether the witch is a light which, what answer would I get?
Possibility 2.2.1: No answer (YN- or NY-).
You have identified Bob as the priest, and from the first answer, you know his god. Furthermore, from the second answer you know whether Claire is lying during the day.
Case (YN- or NY-), fourth question: Alice, if I asked a member of the council which is Dave if you are a wizard, and you otherwise, whether the wizard is on the path of fire, what answer would I get?
Possibility 2.2.1.1: No answer (YN-- or NY--).
We know Alice is a witch and Claire a wizard; from the second question we also now Claire's subtype. So all we need to figure out is the subtype of Alice, which we can get by asking Claire directly.
Possibility 2.2.1.2: Yes or No.
We know Alice is a wizard, and from the answer also her subtype; also from the second answer we know the subtype of Claire. In other words, we know everything, and a fifth question is not needed in this case.
Possibility 2.2.2: Yes or No to the third question.
Bob is not the priest, therefore through exclusion we now know Claire is the priest, and from the second answer we know her god. Moreover, from the first question we now can tell whether Alice of Bob is the wizard (the other one is the witch), and we further know from the third question the subtype of the witch. All we need to figure out is the subtype of the wizard, which we can find out by a direct question to the witch.
Possibility 2.3: Same answer to the first two questions (YY or NN).
From the fact that Alice answered both questions, we know that Dave is the warlock. Furthermore, we know the god of the priest: If Alice is the priest, her answer is always her god. If Bob is the priest, Alice's first answer was Bob's god, If Claire is the priest, Alice's second answer was Claire's god. Furthermore, if Bob is the priest, we know whether Claire says the truth during the day, and if Claire is the priest, we know whether Alice is a wizard.
Case (YY or NN), third question: Bob, If I asked a member of the council which is Dave if you are a priest, and you otherwise, whether Alice is a priest, what would be the answer?
Possibility 2.3.1: No answer (YY- or NN-).
Bob is the priest.
Case (YY- or NN-), fourth question: Alice, if I asked a council member who is Dave if you are a wizard and you otherwise, whether the witch is a light witch, what would the answer be?
Possibility 2.3.1.1: No answer (YY-- or NN--).
Alice is a wizard, and Claire a witch. Claire's subtype can be obtained from the answer to the second question, so the only thing that remains to be figured out is the subtype of Alice, which can be done by a direct fifth question to Claire.
Possibility 2.3.1.2: Answer Yes or No.
Alice is a with, and from the answer you get her subtype. Also, Claire is a wizard, and the subtype is determined from the second question. So we already know everything about the council, no fifth question required.
Possibility 2.3.2: Yes to the third question (YYY or NNY).
Alice is the priest. We still have to figure out the types and subtypes of Bob and Claire.
Case (YYY or NNY), fourth question: Bob, if I asked a member of the council who is Dave if you are a wizard and you otherwise, whether the wizard is on the path of fire, what would the answer be?
If Bob doesn't answer, he is the wizard, and we need to find out both his and Claire's subtype with two further questions to Bob of the type "If I asked you whether …". If Bob answers, we know that Claire is the wizard and her subtype, so we need just one other straightforward question to Claire to figure out Bob's subtype.
Possibility 2.3.3: No to the third question (YYN or NNN).
Claire is the priest, and Alice is the wizard. We need to further "If I asked you" questions to Alice to figure out her and Bob's subtype.