Progress:
Permits should be fixed now, auxiliary constraints are not being kept while looping
and waiting for convergence.
Changes:
Changed the way enforce-constraint works and its interface.
It now tracks substitutions it has made and the environment it is producing.
This way, only one constraint can be passed to it at a single time.