Adding text about the refinement of table types