Added FD.linear propagator to Finite domain functor.