type function extensions

```py
def f() -> (int, str).reversed:
return "a", 1
```

No files, tests, or entry points are named. Start by clarifying the intended semantics of the proposed type annotation and where type-function extensions belong in the project; done should include an agreed behavior and validation for the shown example.

由索引模型根据 Issue 内容生成。