Coalgebraic minimization of HD-automata for the pi-calculus using polymorphic types