only one symbol type for both type level and value level symbols