Enhancement ---@fieldread, ---@fieldwrite or attribute modifiers on typing

Nobody has claimed this yet.

When using some c api's (In my case Factorio's modding api) when you retrieve a value you get one type, but you can set it with multiple different types.

```lua
---@class Surface
---@class Player
local Player = {}
---@fieldread surface Surface
---@fieldwrite surface Surface|string

local p = Player.surface --- p is Surface
p.surface = "Other Surface" --No warnings
```

Another thought I had was attribute types, which would more easily support more attributes in the future
```lua
---@field{read} surface Surface
---@field{write} surface Surface|string
---@field{read,write} surface -- the default if no attributes are supplied
```

The issue names no files, tests, or entry points. Start by locating the language server's handling of Lua field annotations and type checking, then compare the proposed @fieldread/@fieldwrite and attribute syntaxes with existing annotation behavior. Done means a decided syntax supports distinct read and write types and produces the expected warning behavior.

Written by the indexing model from the issue text.