Many fixes to get DataTypeTests running

Including:
- Several missing cases in typechecker and RascalPrimitives.
- Locations with offset/length info were not yet handled in the
compiler.
- Added loc_create
- Implemented all comparison operators on loc.
- Completely revised the comparison hierarchy for all types.
- Implemented comparison on tuples.
- Specialized equality for container types.
- Changed reporting by test framework.

Note: 6 compiler tests fail now.
Merge branch 'master' of https://github.com/cwi-swat/rascal.git