use special datatype for symbol kind