Каковы особенности типовой системы в C# и каким образом она реализована в языке?