Add checks for arithmetic and unrestricted variables
add unrestricted variables, reduce maxint to 2000
Update manual
Update manual
merge conflict
Expression Splitter Skeleton
Add arithmetics, revise tests
Merge branch 'varsafety'
Change version name
Compile Binary
Update Manual