The next version of SetPoint will be based on Phoenix, the compiler backend Microsoft will be using in a couple of years. You can download an internal reportthat describes the work to be done in Phoenix, both in technical and conceptuals terms. You can download the first version of the Phoenix implementation here.