updated unstable finite domain library, =, =/=, <=, < all supported