Another small disambiguation of + on collection in the tests for lists.
Added subtraction on (list) relations and tuples of the same arity.
Moved slicing code up in the hierarchy to support slicing also on list
relations.