pub fn translate( env: &dyn PrimitiveEnv<Type = ArcType>, expr: &SpannedExpr<'_, Symbol> ) -> CoreExpr