简述何为补充侦查？补充侦查有哪些种类？

未成年人刑事案件诉讼程序(名词解释)

非法证据排除规则(名词解释)

被告人程×2003年6月15日晚9时许骑自行车回家，中途与骑自行车违章逆行的王×相撞，引起双方争吵并发展为互殴。被告人程×掏出一把水果刀朝王×的腹部猛扎一刀，王×当即倒地血流不止。尽管程×立即将王×送往医院。但王×终因伤重不治死亡.

某市中级人民法院经审理认为，被告人因撞车小事行凶，造成被害人死亡的严重后果，依法应当予以严惩;鉴于被告人行凶后有救助被害人的表现，故判决程×犯故意伤害罪，判处死刑缓期二年执行，剥夺政治权利终身。

本案宣告判决后，被告人程×未上诉，检察院也未抗诉。判决生效后，按照死刑复核程序，中级法院将此案报请省高级人民法院核准。省高级人民法院复核后认为，原判决事实清楚，但量刑过重，裁定撤销原判，发回原审法院重新审判。

请回答：本案高级人民法院裁定撤销原判发回原审法院重新审判是否合法?法律依据和理由是什么?

拘传(名词解释)