Debugged unit test for Tuple\Type.