Symbol: examine_base_type