Function deeply_normalize 

pub fn deeply_normalize<'db, T>(
    at: At<'_, 'db>,
    value: T,
) -> Result<T, Vec<NextSolverError<'db>>>
where
    T: TypeFoldable<DbInterner<'db>>,

Deeply normalize all aliases in value. This does not handle inference and expects its input to be already fully resolved.