pub trait CompilerEnv: TypeEnv { fn find_var(&self, id: &Symbol) -> Option<(Variable<Symbol>, ArcType)>; }