Added tests to check dynamic types of collection values produced by some
operations, related to issues #143, #173.
Fixes #171, #177
Added backtracking tests related to issues #171, #177.
Merge branch 'master' of https://github.com/cwi-swat/rascal.git