encode_type
encode_type (name, t->symbol->type);
encode_type (s, m->type, m->gen_name);
encode_type (n, t->subtype, sname);
c = encode_type (name, t->subtype, tname);
constructed = encode_type (s2, m->type, m->gen_name);
encode_type("data", s->type, "Top");