finished writing about types