Fix

• Merge branch '2-issue-with-free-variables-constrained-in-the-type-declaration' (closes #2) (5fc14d2d86711c331202a8c464f06ccd67b7a732), closes #2
• variables contraint to a value at declaration were buggy (close #2) (ccb8b62b64afa195518929ac8eedbf5d52202301), closes #2

Test

• add an example that triggers the problem (e53b6f05e270bc2b3d5a9bca0cce666dd436f556)