Is this project planned to be migrated on top of dotty-staging and TASTy decompiler?

[tribbloid]

These are Scala 3 fork of the original lms.

dotty-staging: https://dotty.epfl.ch/docs/reference/metaprogramming/staging.html

TASTy decompiler: https://dotty.epfl.ch/docs/reference/metaprogramming/tasty-inspect.html

At this moment, the decompiler can only emit scala code from typed AST, but the IR should be designed to be easily switched to another language or a sea-of-node graph.

My question is: do you have plan to migrate to dotty-staging in the future, which can save a good chunk of boilerplate works? (operator overloading etc.)