Similarly, this probably should be `TableDef.summary`, which imposes the restriction that this table follows the detail tables, and no tables can occur after it.