Added tests for the dynamic types of lists produced by the list library.
Added tests to check the dynamic types of sets and lists produced by the
set and list library functions.
Fixed the use of += and + in the polymorphic list tests and commented
out dynamic type tests for now.
Fixed incorrect order of addition on list relations.