algebraic constant ValueType typedef