C# 6.0: auto-property, primary-constructor