For_all function
Sum helper
Automatrically resiter Constraints in for_all
Merge branch 'feature/syntactic_helpers' into develop
Adding aliases for common methods
Can set type to integer
Can set variable type to binary
Can set lower bound on variable
Parse integer variables
Merge branch 'feature/integer_variables' into develop
Merge branch 'develop'