Function set_aliases_rigidness_with_mode 

fn set_aliases_rigidness_with_mode<I: Interner, T>(
    cx: I,
    value: T,
    mode: RigidnessFoldMode,
) -> T
where
    T: TypeFoldable<I>,