Symbol: restricted_binop_type