Fix bug with unrestricted variables
Fix bug with typechecking of weak constraints
update binary