Function gluon_base::instantiate::remove_aliases_checked

pub fn remove_aliases_checked(reduced_aliases: &mut Vec<Symbol>,
                              env: &TypeEnv,
                              typ: &ArcType)
                              -> Result<Option<ArcType>, Error>

Removes all possible aliases while checking that