Start taking into account the difference between compile-time, load-time, and evaluation for top-level macros.