Collision after renaming gives error

[Brian-ED]

There's a renaming stage, where renames are given as 𝕨 for ToFFI. According to this cryptic comment i left a year ago, this results in errors.

  # so you mean if there are no collisions it's all fine
  # but if there are collisions it errors,
  # unless you provide the header to ffi script a input
  # that's a mapping of c names to bqn names

I haven't tested it recently, so first step in solving this issue is testing if it's already solved. If it isn't, then it needs to get fixed.

I'm considering removing the renaming feature. I don't think it's useful enough.

[Brian-ED]

I now think the feature is useful enough. Helps when names collide because of BQN's casing rules.