Gecode::rel and Gecode::distinct with full support.

Added auxiliar function isAtomToRelType.