违宪审查制度的定义和类型