pretypes