pretypifies