CER is part of the hosting work done for SQL server integration (i.e., SQL server hosting the CLR), not Singularity.

For Singularity, they used an extended version of C# called Sing# (based on an earlier research project called Spec#)

http://en.wikipedia.org/wiki/Sing_Sharp