Random tests for all Boolean operators and library functions.
Merge branch 'master' of https://github.com/cwi-swat/rascal.git
Random tests for all node operators and library functions
added labels to generated regular productions
removed unused import
Random tests for all string operators and library functions.
Merge branch 'master' of https://github.com/cwi-swat/rascal.git
* added upgrade tool to move from nested list types to splices
* applied this tool to the standard library
* fixed bug in concrete list splicing
Merge branch 'master' of https://github.com/cwi-swat/rascal.git
Fixed error in import with @jurgenvinju
Slowly adapting the Tutor pages to new features and libraries.
fixed module name
Replaced ambiguous += operator used by the list dup(list[&T]) and
tstDup(list[&T]): in case of lists of sets they could produce incorrect
results.
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.
Removed unsafe downcasts in the results of adding a tuple to a relation
and list relation

- otherwise the exception is thrown if the tuple is of a different
arity.
Another small disambiguation of + on collection in the tests for lists.
Added subtraction on (list) relations and tuples of the same arity.