(cherry picked from commit dda5e32ab0756642a5541678f5f42a3fe207eb6f)
deeply_normalize
assumed_wf_types