Symbol: TYPE_BASED_CASE