Prepare type using declarations for mvSAT support

[codecov[bot]]

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Project coverage is 97.28%. Comparing base (4e7a125) to head (ae23643).

Additional details and impacted files

```diff @@ Coverage Diff @@ ## main #42 +/- ## ======================================= Coverage 97.28% 97.28% ======================================= Files 28 28 Lines 1950 1953 +3 Branches 1154 1156 +2 ======================================= + Hits 1897 1900 +3 Misses 14 14 Partials 39 39 ``` | [Flag](https://app.codecov.io/gh/michael-veksler/solver/pull/42/flags?src=pr&el=flags&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | Coverage Δ | | |---|---|---| | [Linux](https://app.codecov.io/gh/michael-veksler/solver/pull/42/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `56.28% <66.66%> (+0.08%)` | :arrow_up: | | [Windows](https://app.codecov.io/gh/michael-veksler/solver/pull/42/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `99.43% <100.00%> (+<0.01%)` | :arrow_up: | | [macOS](https://app.codecov.io/gh/michael-veksler/solver/pull/42/flags?src=pr&el=flag&utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler) | `27.13% <41.66%> (+0.01%)` | :arrow_up: | Flags with carried forward coverage won't be shown. [Click here](https://docs.codecov.io/docs/carryforward-flags?utm_medium=referral&utm_source=github&utm_content=comment&utm_campaign=pr+comments&utm_term=Michael+Veksler#carryforward-flags-in-the-pull-request-comment) to find out more.

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.