I was expanding (with a slight correction about macros doing more than just controlling evaluation). Haskell-style laziness comes with purity, where it does no

I was expanding (with a slight correction about macros doing more than just controlling evaluation). Haskell-style laziness comes with purity, where it does not matter much whether something is evaluated once or many times. It does matter if it is evaluated 0 or more though (due to non-termination and exceptions). The opacity of values is what I meant by macros also exposing the syntax as opposed to just controlling evaluation.