add handling of binary operator in
added support to remove variables in csp
added support for primitive types number and string
return created constraints
add string and number-specific support
adjusted tests to .is in notation
Merge branch 'csp' of https://github.com/timfel/babelsberg-js into csp