I like anything that will allow us to use SDL and GL on OSX.. :)
After reading your proposal, my initial gut feeling is that the second or third option (ie new backend for OSX or extending the existing one) would be the best ones to explore.
I'm sure Grubba will have some thoughts on the subject as well...