documented types