Implizite Char Konvertierung geht sowohl unter RO C# als auch unter MS Visual C#.
Code:
char c = 'a';
int i = 0;
Console.WriteLine(c+1);
Ausgabe: 98
Zu den Code Contracts kann ich noch nichts sagen. Habe das komplette Elements erst seit einer Stunde auf dem Rechner. Da der Backend Compiler gleich ist würde ich vermuten dass Contracts unterstützt werden. Zur Not hängst Du dir einfach eine Oxygene Klasse samt Contracts mit in das C# Projekt. Sowas kann man offenbar frei mischen, wenn man Oxygene und Hydrogene im Bundle installiert hat.