gluon_base::resolve
pub fn peek_alias<'t>( env: &'t TypeEnv, typ: &'t ArcType) -> Result<Option<&'t AliasRef<Symbol, ArcType>>, Error>