刑法解释的类型有哪些