Hmmm.... it's been two months, and I haven't been able to finish my plan on implementing a coordinate system language. The idea is still there, but I need to find the time - haven't worked on it since November 2nd. Let's see what 2013 brings, I'll be on a short holiday first.

It does have my attention still, since type systems are part of a talk I proposed for Code Generation 2013, and for the work that leads to that talk.