Add tests for equality behaviour on types
Add tests for equality behaviour on types

Also add labeled map and tuple types to the test data set.

cwi-swat/pdb.values,usethesource/rascal-value,cwi-swat/pdb.values