Added tasktype atoms and auxiliar functions to use it.
Auxiliar functioncs for builtins.
Added builtins for Gecode finite domain propagators.
Added bultins in FD.oz