How does Mercury achieve near-conventional execution efficiency while preserving the declarative semantics of logic/functional programming? Curious how its mode and determinism system feeds into optimization.