Added improved restriction building API
Merge pull request #6 from gert-wijns/RestrictionChainingRework

Added improved restriction building API
Added arithmetics support