retypifications