pretypifying

not defined yet