Make type annotations compatible with older Python versions.
Make type annotations compatible with older Python versions.

- Replace `X | Y` with `typing.Union[X, Y]`
- Replace `tuple[X]` with `typing.Tuple[X]`
- Also add some comments to clarify what Objfile and Progspace classes
  are for.

sivachandra/gala,sivachandra/gala