Increased upperbound of nextInt to cover all cases.
Another bound issue for nextInt.
Made Cobra aware of bounded type parameters.
Fixed subtype function for lrel and list.
Fix in the expression interpreter: let dynamic types of list, map and
set values be inferred from dynamic types of their elements in contrast
to declared types.

- it affects pattern matching.
Add a few list, map and set tests.
Various fixes to the subtype function
Fix in the interpreter: let dynamic types of container values be
inferred from dynamic types of their elements in contrast to the
declared types.

- it affects pattern matching.
Merge branch 'master' of https://github.com/cwi-swat/rascal.git
Small fixes to the cobra framework
Retionals do support now addition with collection values.
Rationals do support addition with collection values now.
Merge branch 'master' of https://github.com/cwi-swat/rascal.git
Merge branch 'master' of https://github.com/cwi-swat/rascal.git
fixed two bugs in type reifier: empty sets and lists should not be
relations
Version n+1 of the subtype function
Added rascal function to create a link
Added a missing case for lrel in isListType.
A dozen fixes to the Result hierarchy for +
Merge branch 'master' of https://github.com/cwi-swat/rascal.git