fixed array typechecking in id and structs type checking