fixed an important efficiency bottleneck. The array of types given to a tuple type is not cloned anymore, which means that API users should not modify the array after having passed it to the TypeFactory.
fixed an important efficiency bottleneck. The array of types given to a tuple type is not cloned anymore, which means that API users should not modify the array after having passed it to the TypeFactory.

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