// This exercises iterators on the type-level node.
// OR, if typeItr is present, do that instead (this is necessary when handling maps with complex keys or handling structs with absent values, since both of those are unserializable).
iftcase.typeItr!=nil{
// TODO
// This can unconditionally assume we're going to handle maps,
// because the only kind of thing that needs this style of testing are some instances of maps and some instances of structs.