Starting to write about the refinement of table types