Explore advanced refactoring features.

[cristianoc]

E.g. turning a record field into an optional, could look like this:

There are some technical issues that prevent doing one of these transformation at the moment (pretty-printing from a typed AST does not recover exactly the original).

There are also some questions about what transformations, of all the possible ones, would be more compelling and improve developer experience.

So this is not going to happen anytime soon, but some exploration can already be done now.