Add code action to lift local match to toplevel

[BinderDavid]

We currently have the pol lift subcommand which allows to lift all local matches/comatches of a given type to the toplevel. We should also make this functionality available as an LSP code action.
I think we should provide the following two code actions:

• On the type declaration: Lift all local (co)matches of the given type to the toplevel.
• On an individual (co)match: Lift this specific (co)match to the toplevel.