Gecode::rel and Gecode::distinct propagators with full support.
Added auxiliar function isAtomToRelType.