Integrating Normalization-by-Evaluation into a Staged Programming Language