Fix: 'equal_type_type' -> 'type_equal_type' in one of the test examples.