Remove the need for Constraint::map() callables to be pure

[Baptouuuu]

Problem

Even though technically the map callable must be pure for the Constraint to be pure, it's sometimes necessary to depend on an impure context to map the value. In the end this generates InvalidArgument by Psalm that doesn't help the program to be safer.

Users then need to write psalm-suppress annotations in their code to fix this.

This also prevents users to use third party packages that don't declare the purity of the code.

Solution

Remove the need for the callables to be pure.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 96.31%. Comparing base (4af5fbb) to head (8de2eae).

Additional details and impacted files

@@            Coverage Diff             @@
##             develop       #8   +/-   ##
==========================================
  Coverage      96.31%   96.31%           
  Complexity       118      118           
==========================================
  Files             22       22           
  Lines           1545     1545           
==========================================
  Hits            1488     1488           
  Misses            57       57           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.