fix failing test
index_of contract assumes that type_list contains searched type