TESTS: corrected unset! test in type-test.red