Field-backed properties: support lazily initialized backing field in nullable analysis

Implement nullable analysis for `field` from [proposals/field-keyword.md](https://github.com/dotnet/csharplang/blob/main/proposals/field-keyword.md#nullability).