Type tracker

[oir]

Support the following types (this is a fluid list):

• str
• int
• float
• bool
• list[T], List[T]
  • list, List (assuming str)
• tuple[T]
• set[T]
• os.PathLike
• pathlib.Path
• Cls(Enum)
  • Cls(str, Enum), Cls(StrEnum), Cls(IntEnum)
• Literal["a", "b", "c"]
• Optional[T], Union[T, None], T | None