ivory-backend-c: changes to comment to support language-c-quote 0.10.0

- thanks geoff!
- this means we no longer need our fork of ivory-backend-c
track index bounds in ivory Proc types
comments after return aren't dead code
Merge branch 'index-type' into ivory-model-check