chore: Add VALUE type to constraints

[mehmetozsoy-synnada]

Description

Closes #175.

What is Changed

• VALUE type is introduced
• type of constraints are updated

Checklist:

• Tests that cover the code added.
• Corresponding changes documented.
• All tests passed.
• The code linted and styled (pre-commit run --all-files has passed).

[codecov]

Codecov Report

Attention: Patch coverage is 93.02326% with 3 lines in your changes missing coverage. Please review.

Project coverage is 88.71%. Comparing base (5a07669) to head (532b788).
Report is 1 commits behind head on main.

Files with missing lines	Patch %	Lines
mithril/framework/constraints.py	50.00%	2 Missing ⚠️
mithril/framework/physical/model.py	0.00%	1 Missing ⚠️

@@            Coverage Diff             @@
##             main     #176      +/-   ##
==========================================
- Coverage   88.71%   88.71%   -0.01%     
==========================================
  Files          61       61              
  Lines       15979    15970       -9     
==========================================
- Hits        14175    14167       -8     
+ Misses       1804     1803       -1     

Files with missing lines	Coverage Δ
mithril/framework/common.py	96.49% <100.00%> (-0.02%)	⬇️
mithril/framework/logical/base.py	87.64% <100.00%> (ø)
mithril/framework/physical/data_store.py	95.27% <100.00%> (+0.04%)	⬆️
mithril/framework/physical/model.py	92.45% <0.00%> (ø)
mithril/framework/constraints.py	93.77% <50.00%> (+0.04%)	⬆️