Function gluon_base::resolve::remove_aliases

pub fn remove_aliases<T>(
    env: &dyn TypeEnv<Type = T>, 
    interner: &mut impl TypeContext<Symbol, T>, 
    typ: T
) -> T where
    T: TypeExt<Id = Symbol> + Display, 

Removes type aliases from typ until it is an actual type