Algebraic type