Support for type checking dataclass properties

Suppose you have a dataclass:

@jaxtyped(typechecker=typechecker)
@dataclass
class MyDataclass:
    x: Float[Array, "n"]

  @property
  def plus1(self) -> Float[Array, "n"]:
     return self.x + 1.0

There is no way AFAIK how to enforce that "n" is derived from the class definition. Is there a way to enforce this? And is this a feature that would make sense? Note also symbolic shapes cannot be expressed with checking, eg. Float[Array, "n+1"] would fail as n is undefined in the function input.

Start by tracing @jaxtyped(typechecker=typechecker) around dataclass fields and @property return annotations, then inspect how symbolic shape names are resolved. A complete result should establish whether class-derived dimensions and expressions such as "n+1" can be enforced, with tests covering both cases.