ruff

c7d9bb4b - [ty] Use the member proof engine for ordinary lookup and descriptors