C# 3.0: Relational Language Operatings, Type Inference, and More