pub fn evaluate_expression( expression: &SpannedExpression, env: Rc<RefCell<Environment>>, ) -> Result<SpannedValue>