fix: undo invalid refactoring

[Dorus]

See #116 (comment)

I missed this one, but this is not a valid refactoring.

This gives a new error in the latest master:

On a separate note: Export project page to cliborad exports json, import project page from clipboard expect base64. So i couldnt test this function, but as you see in the watch screenshot it's not working as intended.

Notice the refactor operator did warn this might not be a correct refactoring:

[Dorus]

While i'm at it, master also couldn't build, so i fixed this one too:

How did this get past the build check?

Edit: my local git was seeing ghosts.

[shpaass]

Thank you for the catch!
However, do I understand it correctly that your fix of the CreateSolver error was to revert most of the changes about it?

[Dorus]

Wait, something is messed up there, let me try to fix it. It should be a 1 line change...

[Dorus]

While i'm at it, master also couldn't build, so i fixed this one too:

How did this get past the build check?

To answer my own question: this was an issue with my local git, not with the master branch. Idk why but somehow this file didnt update when i pulled it. Actually i have a suspicion that i had it open locally and oversaved it with an old version. All reverted now.

[shpaass]

Regarding the error with pattern matching, the problem was that many applications of pattern matching have (may change semantics) when applying them. Therefore, I did not notice (may change code meaning).

[Dorus]

I double checked all other pattern patching changes, and the rest of them are sound.