Added FD.dom propagator to FD.oz.
FD.dom is recieving a finite domain variable and a list of tuples and/or ints.
Remains to add support for creating list of finite domain variables (e.g. {FD.dom 3#10 [X Y Z]}).