Dialectical proof theory for defeasible argumentation with defeasible priorities (preliminary report)