so... metaocaml-style modular macros with compile-time functions and template-like functors (multi-stage modules) are likely getting upstreamed next year. LFG