刑事诉讼法属于什么类型的法律?