contains, toList, rem overloading, test improvement