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