유형 해결의 법칙 대수