개념 + 유형 대수