add to the struct_list unit test. notice weird behavior from the typechecker