pub fn interpret( space: DynSpace, expr: &Atom, settings: PragmaSettings, ) -> Result<Vec<Atom>, String>