Changed FD.oz to reflect the new finite domain modules