pretypifying