Lightweight Modular Staging and Embedded Compilers: Abstraction Without Regret for High-Level High-Performance Programming