Merge branch 'develop'
Trying to make binary available
Fixing require bug
For_all function
Sum helper
Automatrically resiter Constraints in for_all
Merge branch 'feature/syntactic_helpers' into develop