Support TASTy version 23 [Dotty 0.25] #92
Description
Task is to observe the history of commits since the last release in https://github.com/lampepfl/dotty of sources relating to TASTy unpickling; or assumptions elsewhere that have changed, and replicate changes to remain compatible, adding or removing tests when necessary to exercise the changes.